Doron Peled

Creative Commons Attribution-Share Alike 4.0
Hat mitgewirkt an:
-
Software reliability methods
-
Tools for the model-based development of certifiable, dependable systems : June 10th to June 15th 2007 Dagstuhl Seminar ; 07241 summary
-
Model checking and artificial intelligence : 5th international workshop ; revised selected and invited papers
-
Formal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference ; proceedings