Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Ahmed Khoumsi |
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(4), pp. 397-431, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control |
79 | Ahmed Khoumsi, Thierry Jéron, Hervé Marchand |
Test Cases Generation for Nondeterministic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 131-146, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|