Torthaí cuardaigh - Dingel, Juergen

  • 1 - 3 toradh as 3 á dtaispeáint
Beachtaigh na torthaí
  1. 1

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. de réir Dingel, Juergen

    Alt


    Íomhá chlúdaigh
  2. 2

    Models in software engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  3. 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...

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh

Uirlisí cuardaigh: