- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Bernardo, Marco

Showing 1 - 10 of 17 results

Search Results

Cover image for Formal methods for mobile computing

Formal methods for mobile computing

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2005
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

by Bernardo, Marco
2015
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

by Bernardo, Marco
2016
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for hardware verification

Formal methods for hardware verification

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2006
Format: Book

Joyner Library - General Stacks

Call Number: QA76.9.F67 I581 2006

Cover image for Formal methods for computational systems biology

Formal methods for computational systems biology

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2008
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

by Bernardo, Marco
2013
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for eternal networked software systems

Formal methods for eternal networked software systems

by International School on Formal Methods for the Design of Computer, Communication and Software Systems
2011
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

by Bernardo, Marco
2014
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for hardware verification

Formal methods for hardware verification

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2006
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for mobile computing

Formal methods for mobile computing

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems
2005
Format: Electronic

Location
Access Content Online