scientific article; zbMATH DE number 2182600
From MaRDI portal
Publication:4681459
zbMath1082.68007MaRDI QIDQ4681459
Marjan Sirjani, Amin Shali, Ali Movaghar, Frank S. de Boer
Publication date: 23 June 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (12)
Model checking mobile ad hoc networks ⋮ Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Correct transformation: from object-based graph grammars to PROMELA ⋮ Formal modeling of evolving self-adaptive systems ⋮ Verification of asynchronous systems with an unspecified component ⋮ An evaluation of interaction paradigms for active objects ⋮ Dynamic Consistency in Process Algebra: From Paradigm to ACP ⋮ Actor-based slicing techniques for efficient reduction of Rebeca models ⋮ Unnamed Item ⋮ A formal approach to the engineering of domain-specific distributed systems
Uses Software
This page was built for publication:
