14360 search results - page 31 / 2872 » Time Modeling in MARTE |
DSRT
2000
IEEE
14 years 1 months ago
2000
IEEE
PADS
1996
ACM
14 years 25 days ago
1996
ACM
ANSS
2001
IEEE
14 years 10 days ago
2001
IEEE
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
IANDC
2008
13 years 8 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...