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

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Ø 0.0
0 Bewertungen
55,05 €

Opportunities and Challenges in Monitoring Cyber-physical Systems Security. - Increasing the Reusability of Enforcers with Lifecycle Events. - BDDs on the Run. - Verifying Real-World Software with Contracts for Concurrency.

Jetzt bei Ebay: