|
Showing 1 - 4 of
4 matches in All Departments
|
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Paperback, 1st ed. 2018)
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik De Vink
|
R2,833
Discovery Miles 28 330
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 22nd
International Symposium on Formal Methods, FM 2018, held in Oxford,
UK, in July 2018. The 44 full papers presented together with 2
invited papers were carefully reviewed and selected from 110
submissions. They present formal methods for developing and
evaluating systems. Examples include autonomous systems, robots,
and cyber-physical systems in general. The papers cover a broad
range of topics in the following areas: interdisciplinary formal
methods; formal methods in practice; tools for formal methods; role
of formal methods in software systems engineering; and theoretical
foundations.
The LNCS journal Transactions on Computational Systems Biology is
devoted to inter- and multidisciplinary research in the fields of
computer science and life sciences and supports a paradigmatic
shift in the techniques from computer and information science to
cope with the new challenges arising from the systems oriented
point of view of biological phenomena. This, the 14th Transactions
on Computational Systems Biology volume, guest edited by Ion Petre
and Erik de Vink, focuses on Computational Models for Cell
Processes and features a number of carefully selected and enhanced
contributions, initially presented at the CompMod workshop, which
took place in Aachen, Germany, in September 2011. The papers,
written from different points of view and following various
approaches, cover a wide range of topics within the field of
modeling and analysis of biological systems. In addition, two
regular submissions deal with models of self-assembling systems and
metabolic constraints on the evolution of genetic codes.
The LNCS journal Transactions on Computational Systems Biology is
devoted to inter- and multidisciplinary research in the fields of
computer science and life sciences and supports a paradigmatic
shift in the techniques from computer and information science to
cope with the new challenges arising from the systems oriented
point of view of biological phenomena. This, the 13th Transactions
on Computational Systems Biology volume, guest edited by
Ralph-Johan Back, Ion Petre, and Erik de Vink, focuses on
Computational Models for Cell Processes and features a number of
carefully selected and enhanced contributions initially presented
at the CompMod workshop, which took place in Eindhoven, The
Netherlands, in November 2009. From different points of view and
following various approaches, the papers cover a wide range of
topics in systems biology, addressing the dynamics and the
computational principles of this emerging field.
|
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 (Paperback, 2013 ed.)
Marco Bernardo, Erik De Vink, Alessandra di Pierro, Herbert Wiklicky
|
R1,429
Discovery Miles 14 290
|
Ships in 10 - 15 working days
|
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.
|
|