Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change View on Open Library

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

by Tiziana Margaria , Bernhard Steffen

No reviews yet
First published: 2014 1 language ISBN: 9783662452349
Subjects
Machine learning Robots, programming Software engineering Artificial Intelligence (incl. Robotics) Computer science Logic design Artificial intelligence Programming Languages, Compilers, Interpreters Computation by Abstract Devices Mathematical Logic and Formal Languages

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Method...

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical S...

Semantic Web Services Challenge

Semantic Web Services Challenge

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Method...

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

Leveraging Applications of Formal Method...

You Might Also Like

More in Machine learning
Advanced Computing and Systems for Security

Advanced Computing and Systems for Secur...

Rituparna Chaki
Advances in artificial intelligence

Advances in artificial intelligence

Canadian Society for Computational Studies of Intelligence. Conference
Machine Learning Paradigms

Machine Learning Paradigms

Aristomenis S. Lampropoulos
Machine Learning and Data Mining in Pattern Recognition

Machine Learning and Data Mining in Patt...

Petra Perner
Machine Learning and Knowledge Discovery in Databases

Machine Learning and Knowledge Discovery...

Albert Bifet
First Course in Machine Learning

First Course in Machine Learning

Simon Rogers