Leveraging Applications of Formal Methods, Verification and Validation. Industri
67,86 €
Industrial Practice. - 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: