Mícheál Mac an Airchinnigh. Formal Methods and Functional Safety. In Christian Kreiner, Rory V. O'Connor, Alexander Poth, Richard Messnarz, editors, Systems, Software and Services Process Improvement - 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings. Volume 633 of Communications in Computer and Information Science, pages 281-289, Springer, 2016. [doi]
Abstract is missing.