1
Publicerad 2007
Innehållsförteckning: ...Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2014
Innehållsförteckning: ... -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation...
Hämta fulltext
Elektronisk E-bok