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

Andrew Edmunds, Marta Olszewska, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)
Toimittajat	H Kaindl, R Meli
Kustantaja	Iaria xps press
Sivut	1–9
ISBN (painettu)	978-1-61208-458-9
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Advances and Trends in Software Engineering (SOFTENG) - The Second International Conference on Advances and Trends in Software Engineering SOFTENG 2016 Kesto: 21 helmik. 2016 → 25 helmik. 2016

Konferenssi	International Conference on Advances and Trends in Software Engineering (SOFTENG)
Ajanjakso	21/02/16 → 25/02/16

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

@inproceedings{d115646969154f5fb8951add7cf934c3,

title = "Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems",

author = "Andrew Edmunds and Marta Olszewska and Marina Walden",

year = "2016",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-61208-458-9",

pages = "1–9",

editor = "H Kaindl and R Meli",

booktitle = "Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)",

publisher = "Iaria xps press",

note = "International Conference on Advances and Trends in Software Engineering (SOFTENG) ; Conference date: 21-02-2016 Through 25-02-2016",

}

Edmunds, A, Olszewska, M & Walden, M 2016, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. julkaisussa H Kaindl & R Meli (toim), Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). Iaria xps press, Sivut 1–9, International Conference on Advances and Trends in Software Engineering (SOFTENG), 21/02/16.

Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. / Edmunds, Andrew; Olszewska, Marta; Walden, Marina.
Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016). toim. / H Kaindl; R Meli. Iaria xps press, 2016. s. 1–9.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

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

AU - Edmunds, Andrew

AU - Olszewska, Marta

AU - Walden, Marina

PY - 2016

Y1 - 2016

M3 - Konferensbidrag

SN - 978-1-61208-458-9

SP - 1

EP - 9

BT - Advances and trends in software engineering. International conference . 2nd 2016. (SOFTENG 2016)

A2 - Kaindl, H

A2 - Meli, R

PB - Iaria xps press

T2 - International Conference on Advances and Trends in Software Engineering (SOFTENG)

Y2 - 21 February 2016 through 25 February 2016

ER -