From Requirements Engineering to Safety Assurance: Refinement Approach

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky

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

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationDependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
EditorsLi Xuandong, Zhiming Liu, Yi Wang
PublisherSpringer
Pages201–216
ISBN (Electronic)978-3-319-25942-0
ISBN (Print)978-3-319-25941-3
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication
EventDependable Software Engineering: Theories, Tools, and Applications (SETTA) - Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015)
Duration: 4 Nov 20156 Nov 2015

Conference

ConferenceDependable Software Engineering: Theories, Tools, and Applications (SETTA)
Period04/11/1506/11/15

Cite this