Formalisation-Driven Development of Safety-Critical Systems

Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis

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

Original languageUndefined/Unknown
Title of host publicationIEEE 17th International Symposium on High Assurance Systems Engineering
EditorsRadu Babiceanu, Helene Waeselynck, Raymond A. Paul, Bojan Cukic, Xu Jie
PublisherIEEE
Pages165–172
ISBN (Print)978-1-4673-9912-8
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Symposium on High Assurance Systems Engineering, HASE - HASE 2016: 17th International Symposium on High Assurance Systems Engineering
Duration: 7 Jan 20169 Jan 2016

Conference

ConferenceInternational Symposium on High Assurance Systems Engineering, HASE
Period07/01/1609/01/16

Cite this