Verification of a radio-based signaling system using the STATEMATE verification environment
From MaRDI portal
Publication:5959851
DOI10.1023/A:1011279932612zbMath0990.68568MaRDI QIDQ5959851
Publication date: 11 April 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Related Items
Verifying Communication Protocols Using Live Sequence Chart Specifications, Scenario-based verification of real-time systems using UPPAAL, Dependability analysis of the data communication system in train control system, Improving Translation of Live Sequence Charts to Temporal Logic