Publications
169-3_60 . 2015 [1] G. Brat, D. Bushnell, M. Davies, D. Giannakopoulou, F. Howar, and T. Kahsai, “Verifying the safety of a flight-critical system,” in FM 2015: formal methods , Oslo, 2015, vol. 9109, [...] components in flight critical systems,” in AIAA Infotech@Aerospace Conference 2015 , Kissimmee, Fla., 2015, pp. 1–7, doi: 10.2514/6.2015-1868 . [3] M. Isberner, F. Howar, and B. Steffen, “The open-source LearnLib: [...] Modelling in automotive software engineering , Ottawa, Canada, 2015, vol. 1487, pp. 43–52 [Online]. Available: http://ceur-ws.org/Vol-1487/MASE_2015_paper_14.pdf [7] A. Rausch et al. , “Managed and continuous …
