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

Andrew Edmunds, Marta Olszewska, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Titel på gästpublikationAdvances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
RedaktörerH Kaindl, R Meli
FörlagIaria xps press
Sidor1–9
ISBN (tryckt)978-1-61208-458-9
StatusPublicerad - 2016
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016
Varaktighet: 21 feb 201625 feb 2016

Konferens

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

Citera det här