Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Publication year: 2008
: 978-3-540-68894-5
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science asaprominent approach to theri gorousdesign of computer, communication, and software systems. The main aim of the SFM series is to ofer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the feld.
: Computer Science : In silico, automata, brane calculi, design, formal methods, hierarchical models, logic, model components, modeling, multi-level modeling, pathway logic, performance analysis, performance mode, petri net, verification, Programming and Operating Systems, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Special Purpose and Application-, Based Systems, Computer Communication Networks
