1980 search results - page 47 / 396 » Compositional Model Checking of Real Time Systems |
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
110
click to vote
EUROMICRO
1997
IEEE
15 years 4 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
112
click to vote
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
UML
2005
Springer
15 years 5 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...