1980 search results - page 19 / 396 » Compositional Model Checking of Real Time Systems |
FASE
2005
Springer
14 years 1 months ago
2005
Springer
IFM
2010
Springer
13 years 6 months ago
2010
Springer
RTAS
1997
IEEE
13 years 12 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
CSAC
2006
13 years 9 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
RTSS
2003
IEEE
14 years 29 days ago
2003
IEEE
Real-time systems are growing in complexity and realtime and soft real-time applications are becoming common in general-purpose computing environments. Thus, there is a growing ne...