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

Andrew Edmunds, Marta Olszewska, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
OtsikkoAdvances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
ToimittajatH Kaindl, R Meli
KustantajaIaria xps press
Sivut1–9
ISBN (painettu)978-1-61208-458-9
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016
Kesto: 21 helmikuuta 201625 helmikuuta 2016

Konferenssi

KonferenssiInternational Conference on Advances and Trends in Software Engineering (SOFTENG)
Ajanjakso21/02/1625/02/16

Viittausmuodot