1980 search results - page 174 / 396 » Compositional Model Checking of Real Time Systems |
123
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
101
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
121
click to vote
DSD
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
108
click to vote
IEE
2008
15 years 1 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...