Marco Bernardo
Marco Bernardo
16 books in the database
Books
Formal Methods for Dynamical SystemsMarco Bernardo
Formal Methods for Dynamical Systems
Marco Bernardo · 2013
Formal Methods for Dynamical SystemsMarco Bernardo
Formal Methods for Dynamical Systems
Marco Bernardo · 2013
Formal Methods for Multicore ProgrammingMarco Bernardo
Formal Methods for Multicore Programming
Marco Bernardo · 2015
Formal Methods for Executable Software ModelsMarco Bernardo
Formal Methods for Executable Software Models
Marco Bernardo · 2014
Formal Methods for Model-Driven EngineeringMarco Bernardo
Formal Methods for Model-Driven Engineering
Marco Bernardo · 2012
Formal Methods for Eternal Networked Software SystemsMarco Bernardo
Formal Methods for Eternal Networked Software Systems
Marco Bernardo · 2011
Probabilistic Trace and Testing SemanticsMarco Bernardo
Probabilistic Trace and Testing Semantics
Marco Bernardo · 2022
Formal Methods for the Quantitative Evaluation of Collective Adaptive SystemsMarco Bernardo
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo · 2016
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 LecturesMarco Bernardo
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
Marco Bernardo · 2012
Formal Methods for Web ServicesMarco Bernardo
Formal Methods for Web Services
Marco Bernardo · 2009
Formal Methods for Computational Systems BiologyMarco Bernardo
Formal Methods for Computational Systems Biology
Marco Bernardo · 2008
Formal Methods for Performance EvaluationMarco Bernardo
Formal Methods for Performance Evaluation
Marco Bernardo · 2007
Formal Methods for Hardware VerificationMarco Bernardo
Formal Methods for Hardware Verification
Marco Bernardo · 2006
Formal Methods for Mobile ComputingMarco Bernardo
Formal Methods for Mobile Computing
Marco Bernardo · 2005
Formal Methods for the Design of Real-Time SystemsMarco Bernardo
Formal Methods for the Design of Real-Time Systems
Marco Bernardo · 2004
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software SystemsMarco Bernardo
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Marco Bernardo · 2003
Co-authored books and collections
Books that list Marco Bernardo among their authors but not as the lead author: co-written works, collections and compilations.