Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576zbMath1110.68347OpenAlexW2244752996MaRDI QIDQ5464472

Aziz Salah, Rachida Dssouli, Benoît Parreaux, Rabeb Mizouni

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100576

zbMATH Keywords

FSMdistributed systemsformal specificationscenario-based approachuse casescenario composition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

Composition of Use Cases Using Synchronization and Model Checking

This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004