Formalisation-Driven Development of Safety-Critical Systems

Julkaisussa: IEEE 17th International Symposium on High Assurance Systems Engineering
Tekijät: Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis
Tekijöiden määrä: 4
Kieli: englanti
Julkaisutyyppi: A4 Artikkeli konferenssijulkaisussa
Julkaisija: IEEE
Julkaisuvuosi: 2016
ISSN: 1530-2059
Emojulkaisun nimi: IEEE 17th International Symposium on High Assurance Systems Engineering
Tieteenala: Luonnontieteet
Tietojenkäsittely ja informaatiotieteet
Paikalliset tekijät ja heidän affiliaationsa: Troubitsyna, Elena - Åbo Akademi, Datavetenskap
Laibinis, Linas - Åbo Akademi, Datavetenskap
Linkit: https://dx.doi.org/10.1109/HASE.2016.35
Organisaation sisäinen affiliaatio: Åbo Akademi, Datavetenskap