Sciweavers

14360 search results - page 151 / 2872
» Time Modeling in MARTE
Sort
View
CIKM
1998
Springer
14 years 2 months ago
Modeling Time from a Conceptual Perspective
Stefano Spaccapietra, Christine Parent, Esteban Zi...
FTRTFT
1998
Springer
14 years 2 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...