Formal Methods Foundations and Applications Lecture Notes in Computer Science

Name: Formal Methods Foundations and Applications Lecture Notes in Computer Science
Author: Jim Woodcock

Cover of Formal Methods Foundations and Applications

Lecture Notes in Computer Science

No description available.

Logic designInformation SystemsComputer scienceSoftware engineeringFormal methods (Computer science)CongressesFehlertoleranzKongressFormale MethodeModel CheckingSicherheitskritisches SystemInterrupt <Informatik>