Publications
Peleska. Experimental evaluation of a novel equivalence class partition testing strategy. In Jasmin Christian Blanchette and Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015 [...] 2012, volume 6 of IEEE Systems Journal, pages 451–456, July 2012 Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen, and Jan Peleska. Technical Challenges of SoS Requirements [...] 60973-3_79 Jan Peleska. Formal Methods and the Development of Dependable Systems. Number 9612. Christian-Albrechts-Universit¨at Kiel, Institut f¨ur Informatik und Praktische Mathematik, December 1996.