The wireless fire alarm system: Ensuring conformance to industrial standards through formal verification

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
OriginalsprogEngelsk
TitelFM 2014 : Formal Methods - 19th International Symposium, Proceedings
Antal sider15
ForlagPhysica-Verlag
Publikationsdato1 jan. 2014
Sider658-672
ISBN (Trykt)9783319064093
DOI
StatusUdgivet - 1 jan. 2014
Udgivet eksterntJa
Begivenhed19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore
Varighed: 12 maj 201416 maj 2014

Konference

Konference19th International Symposium on Formal Methods, FM 2014
Land/OmrådeSingapore
BySingapore
Periode12/05/201416/05/2014
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8442 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'The wireless fire alarm system: Ensuring conformance to industrial standards through formal verification'. Sammen danner de et unikt fingeraftryk.

Citationsformater