663 search results - page 38 / 133 » Synthesis of Self-Testable Controllers |
ISPD
1997
ACM
15 years 6 months ago
1997
ACM
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
125
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
ARCS
2006
Springer
15 years 5 months ago
2006
Springer