Doron Peled
Has participated in:
-
Software reliability methods
-
Tools for the model-based development of certifiable, dependable systems : June 10th to June 15th 2007 Dagstuhl Seminar ; 07241 summary
-
Tools for the model based development of certifiable, dependable systems : 07241 abstracts collection ; Dagstuhl seminar
-
Model checking and artificial intelligence : 5th international workshop ; revised selected and invited papers