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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publicationFM 2014 : Formal Methods - 19th International Symposium, Proceedings
Number of pages15
PublisherPhysica-Verlag
Publication date1 Jan 2014
Pages658-672
ISBN (Print)9783319064093
DOIs
Publication statusPublished - 1 Jan 2014
Externally publishedYes
Event19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore
Duration: 12 May 201416 May 2014

Conference

Conference19th International Symposium on Formal Methods, FM 2014
Country/TerritorySingapore
CitySingapore
Period12/05/201416/05/2014
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8442 LNCS
ISSN0302-9743

Fingerprint

Dive into the research topics of 'The wireless fire alarm system: Ensuring conformance to industrial standards through formal verification'. Together they form a unique fingerprint.

Cite this