1980 search results - page 218 / 396 » Compositional Model Checking of Real Time Systems |
117
Voted
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
139
click to vote
ENTCS
2007
15 years 3 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
148
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
132
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
151
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...