The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha

Browse the full FM paper archive.