खोज परिणाम - Dingel, Juergen
- प्रदर्शित 1 - 3 परिणाम 3
-
1
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. द्वारा Dingel, Juergen
में प्रकाशित Software engineering notes.बोधानक: लोड हो रहा है…
स्थित: लोड हो रहा है…लेख लोड हो रहा है… -
2
Models in software engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
प्रकाशित 2011बोधानक: लोड हो रहा है…Available for University of the Philippines Diliman via SpringerLink. Click here to access
स्थित: लोड हो रहा है…
Electronic Resource -
3
Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...
प्रकाशित 2011बोधानक: लोड हो रहा है…Available for University of the Philippines Diliman via SpringerLink. Click here to access
स्थित: लोड हो रहा है…
Electronic Resource


