The following pages link to (Q4681459):
Displayed 12 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Formal modeling of evolving self-adaptive systems (Q1951611) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- (Q5094142) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)