Adding time to scenarios

DOI10.1007/978-1-4020-6254-4_7zbMATH Open1189.93014OpenAlexW246004167MaRDI QIDQ3564019FDOQ3564019

Authors: Prakash Chandrasekaran, Madhavan Mukund 

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_7

Recommendations

• scientific article; zbMATH DE number 1760052
• Time consistency of MSC-2000 specifications.
• A semantics for timed MSC
• Lectures on Concurrency and Petri Nets
• Matching Scenarios with Timing Constraints

zbMATH Keywords

verificationMSCcommunicating finite-state machinestimed scenarios

Mathematics Subject Classification ID

Time-scale analysis and singular perturbations in control/observation systems (93C70)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Checking MSC specifications for timing inconsistency
• Quantitative analysis of communication scenarios
• Formal techniques for analysing scenarios using message sequence charts
• Matching Scenarios with Timing Constraints
• Early verification of computer systems temporal properties
• Verification of scenario-based specifications using templates
• Title not available (Why is that?)
• Checking Coverage for Infinite Collections of Timed Scenarios
• Modal scenarios as automata

This page was built for publication: Adding time to scenarios

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564019)