scientific article; zbMATH DE number 1982195

zbMATH Open1023.68533MaRDI QIDQ4426366FDOQ4426366

Laura A. Campbell, Betty H. C. Cheng, Min Deng, Sascha Konrad

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480018.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2033524
• scientific article; zbMATH DE number 2033511
• Constructing test automata from graphical real-time requirements
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• A state/event-based model-checking approach for the analysis of abstract system properties

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SPIN

This page was built for publication:

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