Travelled to:1 × Singapore
Collaborated with:S.F.Arenis B.Westphal D.Dietsch M.Muñiz
Talks about:wireless (1) standard (1) industri (1) conform (1) system (1) formal (1) verif (1) ensur (1) alarm (1) fire (1)
Person: Ahmad Siyar Andisha
DBLP: Andisha:Ahmad_Siyar
Contributed to:
2014Wrote 1 papers:
- FM-2014-ArenisWDMA #consistency #industrial #standard #verification
- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.