Doron Peled
Informatiker
Geboren:
1962
Creative Commons Attribution-Share Alike 4.0
Werke:
- 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