Pages that link to "Item:Q617925"

The following pages link to A state/event-based model-checking approach for the analysis of abstract system properties (Q617925):

Displaying 7 items.

• A formal model for service-oriented interactions (Q436383) (← links)
• A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
• Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
• Stepwise development and model checking of a distributed interlocking system using RAISE (Q1996429) (← links)
• A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
• Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)