Guidelines for formal domain engineering in Event-B

Autoren Atif Mashkoor
J.-P. Jacquot
TitelGuidelines for formal domain engineering in Event-B
BuchtitelProceedings of the 2011 IEEE International Symposium on High-Assurance Systems Engineering
Typin Konferenzband
VerlagIEEE
AbteilungPQE
ISBN978-0-7695-4615-5
MonatNovember
Jahr2011
Seiten138-145
SCCH ID#1156