scientific article; zbMATH DE number 2086948
From MaRDI portal
Publication:4737556
zbMATH Open1057.68631MaRDI QIDQ4737556FDOQ4737556
Authors: Hung Ledang, Jeanine Souquieres 
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2335/23350109.htm
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1949630
- scientific article; zbMATH DE number 2006503
- scientific article; zbMATH DE number 2016088
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- An outline of PVS semantics for UML statecharts
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cited In (8)
- Modelling the embedded control system using iUML-B pattern state machine
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Object oriented concepts identification from formal \(B\) specifications
- ZB 2005: Formal Specification and Development in Z and B
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 Q4737556)
