Formal Methods for Dynamical Systems - 9783642388736

Cofer - Formal Methods for Industrial Critical Systems 13th Internati - X555z

Fernndez Anta - Algorithms for Sensor Systems 13th International Sy - X555z

Calinescu - Software Engineering and Formal Methods 13th Internation - X555z

Polikarpova - Integrated Formal Methods 13th International Conferenc - X555z

Gaudin - Sdl 2007 Design for Dependable Systems 13th International S - X555z

Bernardo - Formal Methods for Multicore Programming 15th Internation - X555z

Nez - Formal Methods for Industrial Critical Systems 20th Internat - X555z