Netcharts: bridging the gap between HMSCs and executable specifications.

DOI10.1007/B11938MaRDI QIDQ5900573zbMATH OpenOpenAlexFDO

Authors Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Publication date 30 March 2010

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

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

Mathematics Subject Classification ID

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

Recommendations

• CONCUR 2004 - Concurrency Theory
• The Synthesis Problem of Netcharts
• scientific article; zbMATH DE number 1701776
• scientific article; zbMATH DE number 1759427
• Lectures on Concurrency and Petri Nets

Cited in

(6)

• The Synthesis Problem of Netcharts
• Oclets – Scenario-Based Modeling with Petri Nets
• Multi-modal scenarios revisited: a net-based representation
• scientific article; zbMATH DE number 1746448 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Netcharts: bridging the gap between HMSCs and executable specifications.

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