Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Andrew Edmunds, Marta Olszewska, Marina Walden
Editors: Kaindl H, Meli R
Publisher: IARIA
Publication year: 2016
Publisher: Iaria xps press
Book title: Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
Start page: 1
End page: 9
ISBN: 978-1-61208-458-9

Last updated on 2019-23-09 at 04:17