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

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Sym

Ø 0.0
0 Bewertungen
69,15 €

On the semantics of group communication. - Unifying verification paradigms. - Retiming techniques for Statecharts. - Compiling Argos into Boolean equations. - Sampling semantics of Duration Calculus.

Jetzt bei Ebay: