Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2013

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

Editors:

  1. Marco Bernardo

    1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", , ,, Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Erik Vink

    1. Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alessandra Pierro

    1. Dipartimento di Informatica,, Università di Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Herbert Wiklicky

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Made for students, researchers, and practitioners
  • Original, readable, and useful lecture notes
  • Thoroughly revised tutorials given at the 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2013)

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7938)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): SFM: International School on Formal Methods for the Design of Computer, Communication and Software Systems

Conference proceedings info: SFM 2013.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (5 chapters)

  1. Front Matter

    PDF

  2. Automation of Quantitative Information-Flow Analysis

    • Boris Köpf, Andrey Rybalchenko
    Pages 1-28

  3. ODE Analysis of Biological Systems

    • Diana-Elena Gratie, Bogdan Iancu, Ion Petre
    Pages 29-62

  4. Model Checking of Biological Systems

    • Luboš Brim, Milan Češka, David Šafránek
    Pages 63-112

  6. Topological Quantum Computation

    • Jiannis K. Pachos
    Pages 150-179

  7. Back Matter

    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", , ,, Urbino, Italy

    Marco Bernardo

  • Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    Erik Vink

  • Dipartimento di Informatica,, Università di Verona, Verona, Italy

    Alessandra Pierro

  • Department of Computing, Imperial College London, London, UK

    Herbert Wiklicky

Back to top

Bibliographic Information

  • Book Title: Formal Methods for Dynamical Systems

  • Book Subtitle: 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

  • Editors: Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-38874-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-38873-6Published: 07 June 2013

  • eBook ISBN: 978-3-642-38874-3Published: 12 June 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 181

  • Number of Illustrations: 49 b/w illustrations

  • Topics: Software Engineering, Logics and Meanings of Programs, Computational Biology/Bioinformatics, Computation by Abstract Devices

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation