Verwandte Artikel zu Specification and Compositional Verification of Real-Time...

Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science) - Softcover

Hooman, J.

 
9780387549477: Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science)