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

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

Ø 0.0
0 Bewertungen
67,36 €

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: