Guidelines for formal domain engineering in Event-B

A. Mashkoor, J. Jacquot. Guidelines for formal domain engineering in Event-B. pages 138-145, 11, 2011.

Autoren
  • Atif Mashkoor
  • J.-P. Jacquot
BuchProceedings of the 2011 IEEE International Symposium on High-Assurance Systems Engineering
TypIn Konferenzband
VerlagIEEE
ISBN978-0-7695-4615-5
Monat11
Jahr2011
Seiten138-145