3653 search results - page 34 / 731 » On Recognizable Timed Languages |
UML
1999
Springer
15 years 2 months ago
1999
Springer
VL
1996
IEEE
15 years 1 months ago
1996
IEEE
ICALP
1995
Springer
15 years 1 months ago
1995
Springer
114
click to vote
ER
2007
Springer
15 years 3 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
CAV
2012
Springer
13 years 6 days ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...