scientific article; zbMATH DE number 2033511

zbMATH Open1029.68841MaRDI QIDQ4444707FDOQ4444707

Zsigmond Pap, András Pataricza, István Majzik

Publication date: 27 January 2004

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

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

Recommendations

• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• scientific article; zbMATH DE number 1919419
• scientific article; zbMATH DE number 2016088
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• A new approach to model checking of UML state machines

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Data encryption (aspects in computer science) (68P25)

Cited In (2)

• Title not available (Why is that?)
• Supporting design and developement of safety critical applications by model based tools

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 Q4444707)