Guidelines for formal domain engineering in Event-B

Autoren Atif Mashkoor
J.-P. Jacquot
Titel Guidelines for formal domain engineering in Event-B
Buchtitel Proceedings of the 2011 IEEE International Symposium on High-Assurance Systems Engineering
Typ in Konferenzband
Verlag IEEE
Abteilung PQE
ISBN 978-0-7695-4615-5
Monat November
Jahr 2011
Seiten 138-145
SCCH ID# 1156