Articles liés à Specification and Compositional Verification of Real-Time...

Specification and Compositional Verification of Real-Time Systems - Couverture souple

Hooman, J.

 
9780387549477: Specification and Compositional Verification of Real-Time Systems