Marco Bernardo
18 works on record
Works
Formal Methods for Eternal Networked Software Systems
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 Dynamical Systems
Formal Methods for Model-Driven Engineering
Formal Methods for Multicore Programming
Formal Methods for Executable Software Models
Formal methods for software architectures
Formal Methods for the Design of Real-Time Systems
Formal Methods for Mobile Computing
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Formal Methods for Web Services
Formal Methods for Quantitative Aspects of Programming Languages
Computer Performance Engineering
Formal Methods for Performance Evaluation
Formal Methods for Hardware Verification
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for Computational Systems Biology
Probabilistic Trace and Testing Semantics