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

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationAdvances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
EditorsH Kaindl, R Meli
PublisherIaria xps press
Pages1–9
ISBN (Print)978-1-61208-458-9
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016
Duration: 21 Feb 201625 Feb 2016

Conference

ConferenceInternational Conference on Advances and Trends in Software Engineering (SOFTENG)
Period21/02/1625/02/16

Cite this