1
Publicat 2010
Taula de continguts: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Obtenir text complet
Electrònic eBook