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)

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.

Engineering & Materials Science