𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

✍ Scribed by Boris Kâpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
2013
Tongue
English
Leaves
186
Series
Lecture Notes in Computer Science 7938
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

✦ Table of Contents

Front Matter....Pages -
Automation of Quantitative Information-Flow Analysis....Pages 1-28
ODE Analysis of Biological Systems....Pages 29-62
Model Checking of Biological Systems....Pages 63-112
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation....Pages 113-149
Topological Quantum Computation....Pages 150-179
Back Matter....Pages -

✦ Subjects

Software Engineering; Logics and Meanings of Programs; Computational Biology/Bioinformatics; Computation by Abstract Devices

πŸ“œ SIMILAR VOLUMES

Formal Methods for Eternal Networked Sof
πŸ“ Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
✍ Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marc πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 methods for etern

Formal Methods for Eternal Networked Sof
πŸ“ Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
✍ Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marc πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 methods for etern

Formal Methods for Eternal Networked Sof
πŸ“ Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
✍ Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marc πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 methods for etern

Formal Methods for Executable Software M
πŸ“ Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
✍ Marco Bernardo, Ferruccio Damiani, Reiner HΓ€hnle, Einar Broch Johnsen, Ina Schae πŸ“‚ Library πŸ“… 2014 πŸ› Springer International Publishing 🌐 English

<p><p>This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.</p><p>SFM 2014 was devoted to executable softw

Formal Methods for Executable Software M
πŸ“ Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
✍ Marco Bernardo, Ferruccio Damiani, Reiner HΓ€hnle, Einar Broch Johnsen, Ina Schae πŸ“‚ Library πŸ“… 2014 πŸ› Springer International Publishing 🌐 English

<p><p>This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.</p><p>SFM 2014 was devoted to executable softw

Formal Methods for Multicore Programming
πŸ“ Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
✍ Marco Bernardo, Einar Broch Johnsen (eds.) πŸ“‚ Library πŸ“… 2015 πŸ› Springer International Publishing 🌐 English

<p>This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and