Old Web
English
Sign In
Acemap
>
Paper
>
Verification models and techniques applied to the Testing and Control of reactive Systems
Verification models and techniques applied to the Testing and Control of reactive Systems
2003
Thierry Jéron
Lydie Mabil
Florence Santoro
Céline Ammoniaux
Bertrand Jeannet
Hervé Marchand
Vlad Rusu
Florimond Ployette
Benoit Gaudin
Jérôme LeRoux
Camille Constant
Hatem Hamdi
Tristan Le Gall
Valery Tschaen
Keywords:
Control engineering
Computer science
Reactive system
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]