Related Books
Language: en
Pages: 766
Pages: 766
Type: BOOK - Published: 2014-04-18 - Publisher: Springer
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presen
Language: en
Pages: 807
Pages: 807
Type: BOOK - Published: 2016-11-06 - Publisher: Springer
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 3
Language: en
Pages: 620
Pages: 620
Type: BOOK - Published: 2015-05-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full p
Language: en
Pages: 503
Pages: 503
Type: BOOK - Published: 2016-10-31 - Publisher: Springer
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November
Language: en
Pages: 179
Pages: 179
Type: BOOK - Published: 2016-04-19 - Publisher: Springer
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:
