259 search results - page 9 / 52 » Bounded Model Checking for Timed Automata |
160
click to vote
FUIN
2008
15 years 6 months ago
2008
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
151
Voted
WIA
2007
Springer
16 years 14 days ago
2007
Springer
175
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
147
Voted
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
141
Voted
TACAS
1998
Springer
15 years 10 months ago
1998
Springer