scientific article; zbMATH DE number 1982195

MaRDI QIDQ4426366zbMATH OpenFDO

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

Publication date 16 September 2003

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

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)