Formal Methods for Dynamical Systems, Marco Bernardo; Erik de Vink; Alessandra Di Pierr
Автор: Darren Cofer; Alessandro Fantechi Название: Formal Methods for Industrial Critical Systems ISBN: 3642032397 ISBN-13(EAN): 9783642032394 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .
Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti Название: Critical Systems: Formal Methods and Automated Verification ISBN: 331967112X ISBN-13(EAN): 9783319671123 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.
Автор: Marco Bernardo; Pierpaolo Degano; Gianluigi Zavatt Название: Formal Methods for Computational Systems Biology ISBN: 3540688927 ISBN-13(EAN): 9783540688921 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 46590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: Gilles Barthe Название: Formal Methods for Open Object-Based Distributed Systems ISBN: 3540688625 ISBN-13(EAN): 9783540688624 Издательство: Springer Рейтинг: Цена: 65170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;
Автор: Manuel N??ez; Matthias G?demann Название: Formal Methods for Industrial Critical Systems ISBN: 3319194577 ISBN-13(EAN): 9783319194578 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;
Автор: Bernardo Название: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems ISBN: 3319340956 ISBN-13(EAN): 9783319340951 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.
Автор: Fr?d?ric Lang; Francesco Flammini Название: Formal Methods for Industrial Critical Systems ISBN: 3319107011 ISBN-13(EAN): 9783319107011 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. They are organized in topical sections named: cyber-physical systems; railway control systems;
Автор: Jost-Pieter Katoen Название: Formal Methods for Real-Time and Probabilistic Systems ISBN: 3540660100 ISBN-13(EAN): 9783540660101 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Selected papers and invited contributions from the 5th International AMAST Workshop on Formal Methods for Real Time and Probabilistic Systems. Topics covered include verification and model checking for probabilistic systems, semantics of probabilistic process calculi and stochastic process algebra.
Автор: Michael Dierkes; Charles Pecheur Название: Formal Methods for Industrial Critical Systems ISBN: 364241009X ISBN-13(EAN): 9783642410093 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.- HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis.- An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code.- Boolean Quantifier Elimination for Automotive Configuration - A Case Study.- Study on the Barriers to the Industrial Adoption of Formal Methods.- On the Effectiveness of Assertion-Based Verification in an Industrial Context.- Complex Digital System Design: A Methodology and Its Application to Medical Implants.- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.- Predicate Abstraction for Programmable Logic Controllers.- High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.- Auditing User-Provided Axioms in Software Verification Conditions.- Formal Reliability Analysis of Protective Relays in Power Distribution Systems.- Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.
Автор: Cliff Jones; Zhiming Liu; Jim Woodcock Название: Formal Methods and Hybrid Real-Time Systems ISBN: 354075220X ISBN-13(EAN): 9783540752202 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.
Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert Название: Formal Methods for Industrial Critical Systems ISBN: 3642045693 ISBN-13(EAN): 9783642045691 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
