www.prismmodelchecker.org
[GRV08] Uwe Glässer, Sarah Rastkar and Mona Vajihollahi.. Modeling and Validation of Aviation Security. In Intelligence and Security Informatics, pages 337-355. 2008. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications