Old Web
English
Sign In
Acemap
>
authorDetail
>
Valery Tschaen
Valery Tschaen
Computer science
Reactive system
Algorithm
Mathematics
Preorder
5
Papers
3
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Test generation algorithms based on preorder relations
2005
Lecture Notes in Computer Science
Valery Tschaen
Show All
Source
Cite
Save
Citations (0)
6 Test Generation Algorithms Based on Preorder Relations
2005
Lecture Notes in Computer Science
Valery Tschaen
Show All
Source
Cite
Save
Citations (3)
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
Show All
Source
Cite
Save
Citations (0)
New Results - Interaction between test, control and verification
2003
Thierry Jéron
Hervé Marchand
Vlad Rusu
Valery Tschaen
Ahmed Khoumsi
Show All
Source
Cite
Save
Citations (0)
New Results - Test generation on enumerative and symbolic models
2003
Thierry Jéron
Valery Tschaen
Erwan Demairy
Vlad Rusu
Hervé Marchand
Bertrand Jeannet
Elena Zinovieva
Show All
Source
Cite
Save
Citations (0)
1