Marco Bernardo

· 19 obras en el catálogo

Obras

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

FFormal methods for software architectures

Formal methods for software architectures

Formal Methods for Model-Driven Engineering

Formal Methods for Dynamical Systems

Formal Methods for Executable Software Models

Formal Methods for Multicore Programming

FFormal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Time Systems

FFormal Methods for Mobile Computing

Formal Methods for Mobile Computing

FFormal Methods for Quantitative Aspects of Programming Langu

Formal Methods for Quantitative Aspects of Programming Languages

FFormal Methods for Web Services

Formal Methods for Web Services

FFormal Methods for Software Architectures : Third Internatio

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

FFormal Methods for Performance Evaluation

Formal Methods for Performance Evaluation

FFormal Methods for Computational Systems Biology

Formal Methods for Computational Systems Biology

FFormal Methods for Hardware Verification

Formal Methods for Hardware Verification

CComputer Performance Engineering

Computer Performance Engineering

FFormal Methods for the Quantitative Evaluation of Collective

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

PProbabilistic Trace and Testing Semantics

Probabilistic Trace and Testing Semantics