Formal methods (Computer science) -- Congresses

Subject

Browse all works related to Formal methods (Computer science) -- Congresses.

"292" Result
Sort By:
Formal methods for eternal networked software systems

Formal methods for eternal networked software systems: 11th International School on Formal Methods for t…

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy), Bernardo, Marco, Issarny, Valérie

fromLecture Notes in Computer Science

0 Type: Book

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal…

Formal techniques for distributed systems

Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, …

by Bruni, Roberto, IFIP Working Group 6.1, Dingel, Juergen, International Conference on Formal Methods for Open Object-Based Distributed Systems, Reykjavík, Iceland), FORTE 2011, Reykjavík, Iceland)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjav…

FM 2011

FM 2011: formal methods : 17th International Symposium on …

by Butler, Michael, International Symposium of Formal Methods Europe, Limerick, Limerick, Ireland), Schulte, Wolfram

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissio…

Computer safety, reliability, and security

Computer safety, reliability, and security: 31st International Conference, SAFECOMP 2012, Mag…

by Ortmeier, Frank, SAFECOMP 2012, Magdeburg, Germany), Daniel, Peter

fromLNCS sublibrary. SL 2, Programming and software engineering

0 Type: Book

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more th…

Computer safety, reliability, and security

Computer safety, reliability, and security: 31st International Conference, SAFECOMP 2012, Mag…

by Ortmeier, Frank, SAFECOMP 2012, Magdeburg, Germany), Daniel, Peter

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more th…