EP 1127323 A1 20010829 - METHOD AND ARRANGEMENT FOR COMPARING A FIRST CHARACTERISTIC WITH GIVEN CHARACTERISTICS OF A TECHNICAL SYSTEM
Title (en)
METHOD AND ARRANGEMENT FOR COMPARING A FIRST CHARACTERISTIC WITH GIVEN CHARACTERISTICS OF A TECHNICAL SYSTEM
Title (de)
VERFAHREN UND ANORDNUNG ZUM VERGLEICH EINER ERSTEN EIGENSCHAFT MIT VORGEGEBENEN EIGENSCHAFTEN EINES TECHNISCHEN SYSTEMS
Title (fr)
PROCEDE ET DISPOSITIF POUR LA COMPARAISON D'UNE PREMIERE CARACTERISTIQUE AVEC DES CARACTERISTIQUES PREDETERMINEES D'UN SYSTEME TECHNIQUE
Publication
Application
Priority
- DE 9903486 W 19991102
- DE 19850669 A 19981103
Abstract (en)
[origin: WO0026824A1] The objective of the invention is to detect a characteristic in a technical system with reference to model checking. A comparison is made, involving the coordination of several comparative processes, whereby said comparison leads to a result. The comparison is terminated as soon as a comparative process proves that said characteristic is present or not in the appropriate system.
IPC 1-7
IPC 8 full level
G01R 31/28 (2006.01); G06F 17/50 (2006.01)
CPC (source: EP US)
G06F 30/3323 (2020.01 - EP US)
Citation (search report)
See references of WO 0026824A1
Designated contracting state (EPC)
DE FR GB
DOCDB simple family (publication)
WO 0026824 A1 20000511; EP 1127323 A1 20010829; JP 2003503763 A 20030128; JP 4418591 B2 20100217; US 2002013680 A1 20020131; US 6581026 B2 20030617
DOCDB simple family (application)
DE 9903486 W 19991102; EP 99959229 A 19991102; JP 2000580131 A 19991102; US 84858401 A 20010503