Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formal Modeling and Analysis of Timed Systems: Third International Conference, F

Ø 0.0
0 Bewertungen
76,09 €

Invited Talk. - Modular Performance Analysis of Distributed Embedded Systems. - Logic and Specification. - Invited Talk. - Model Checking. - A New Verification Procedure for Partially Clairvoyant Scheduling.

Jetzt bei Ebay: