search result

Cover von Methodes formelles
validation de systemes complexes
Search for this author
Year: 1997
Publisher: Paris, Hermes
Series: RAIRO technique et science informatiques : 16. 1997, 6
Media group: SPECIAL ISSUE
Cover von Reseaux et protocoles; 6
S. 603-702
Search for this author
Year: 1999
Publisher: Paris, Hermes Science Publications
Count: 6
Media group: SPECIAL ISSUE
Cover von Testing of communicating systems
16th IFIP international conference, Oxford, UK, March 17 - 19, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science
Media group: MONOGRAPHIE
OPEN V 11.1.0.0