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 / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).

By: (13th : International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)Contributor(s): Bernardo, Marco [editor.] | Vink, Erik de [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.]Material type: Text

TextSeries: Serienbezeichnung | Lecture notes in computer science ; 7938. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2013. Description: 1 online resource (179 pages) : illustrations (black and white)Content type: text Media type: computer Carrier type: online resourceISBN: 9783642388743; 3642388744Other title: SFM 2013Subject(s): Formal methods (Computer science) -- Congresses | System design -- Congresses | Computer Systems | Formal methods (Computer science) | System design | Computer science | Software engineering | Logic design | Bioinformatics | Logics and Meanings of Programs | Computational Biology/Bioinformatics | Computation by Abstract DevicesGenre/Form: Congress. | Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Print version:: Formal methods for dynamical systems.DDC classification: 004.01/51 LOC classification: QA76.9.F67 | .I58 2013NLM classification: QA 76.9.F67Online resources: Click here to access online

Contents:

Automation of Quantitative Information-Flow Analysis / Boris Köpf, Andrey Rybalchenko -- ODE Analysis of Biological Systems / Diana-Elena Gratie, Bogdan Iancu, Ion Petre -- Model Checking of Biological Systems / Luboš Brim, Milan Češka, David Šafránek -- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation / Luca Bortolussi, Jane Hillston -- Topological Quantum Computation / Jiannis K. Pachos.

Summary: 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.\

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 4 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library Electronic Book@IST	EBook		Available

Total holds: 0

Includes author index.

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.\

Print version record.