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 [...] Jan Peleska. Executable HybridUML and its Application to Train Control Systems. In Hartmut Ehrig, Werner Damm, J¨org Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westk¨amper [...] 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.