[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process
Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, ElviniaVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-30885-7_31
File:
PDF, 236 KB
english, 2012