Mieke Massink |
 |
- S. Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams using JACK, Fourth IEEE International Symposium on High Assurance Systems Engineering, 1999, (BibTeX entry).
- Diego Latella, Istvan Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams, Kluwer, 1999, (BibTeX entry).
- Diego Latella, Istvan Majzik, Mieke Massink: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker, 1999, (BibTeX entry).
Search other Bibliographies
- dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)
[Home
| Search Author
| Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.