Marco Bernardo
Books
- Formal Methods for Quantitative Aspects of Programming Languages
- Computer Performance Engineering
- Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
- Formal Methods for Hardware Verification
- Formal methods for software architectures
- Probabilistic Trace and Testing Semantics
- Formal Methods for Mobile Computing
- Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
- Formal Methods for Multicore Programming
- Formal Methods for Performance Evaluation
- Formal Methods for Model-Driven Engineering
- Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
- Formal Methods for Dynamical Systems
- Formal Methods for Dynamical Systems
- Formal Methods for Web Services
- Formal Methods for the Design of Real-Time Systems
- Formal Methods for Eternal Networked Software Systems
- Formal Methods for Computational Systems Biology
- Formal Methods for Executable Software Models
Author data: Open Library