Travelled to:1 × Italy
1 × Singapore
Collaborated with:B.Westphal D.Dietsch A.Podelski M.Muñiz A.S.Andisha
Talks about:standard (2) industri (2) formal (2) disambigu (1) wireless (1) languag (1) graphic (1) conform (1) system (1) verif (1)
Person: Sergio Feo Arenis
DBLP: Arenis:Sergio_Feo
Contributed to:
2014
2011Wrote 2 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.
- RE-2011-DietschAWP #ambiguity #formal method #industrial #standard #visual notation
- Disambiguation of industrial standards through formalization and graphical languages (DD, SFA, BW, AP), pp. 265–270.