Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012 : proceedings
edited by Achim D. Brucker, Jacques Julliand
Springer-Verlag, 2012
 eBooks
Sarfraz Khurshid, editor
Runtime verification : second international conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011 : revised selected papers
[, Springer-Verlag], 2012
 eBooks
Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
 eBooks
Computer safety, reliability, and security : 31st international conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings
edited by Frank Ortmeier and Peter Daniel
Springer-Verlag, 2012
 eBooks
Achmad Ridok, author
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
Universitas Indonesia, 1999
 UI - Tesis (Membership)
<<   4 5 6   >>