Model-Based Safety and Assessment, Frank Ortmeier; Antoine Rauzy

Автор: Magued Iskander
Название: Innovative Techniques in Instruction Technology, E-learning, E-assessment and Education
ISBN: 9048179742 ISBN-13(EAN): 9789048179749
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics: (1) E-Learning including development of courses and systems for technical and liberal studies programs;

Автор: Marco Bozzano; Yiannis Papadopoulos
Название: Model-Based Safety and Assessment
ISBN: 3319641182 ISBN-13(EAN): 9783319641188
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions.

Автор: Tunc Aldemir; Nathan O. Siu; Ali Mosleh; P.Carlo C
Название: Reliability and Safety Assessment of Dynamic Process Systems
ISBN: 3642081789 ISBN-13(EAN): 9783642081781
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book.

Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet
Название: Model-Driven Dependability Assessment of Software Systems
ISBN: 3642395112 ISBN-13(EAN): 9783642395116
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.

Автор: Tuncer I. ?ren; B.P. Zeigler; M.S. Elzas
Название: Simulation and Model-Based Methodologies: An Integrative View
ISBN: 3642821464 ISBN-13(EAN): 9783642821462
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: NATO Advanced Institute Ottawa, Ontario/ Canada, July 26 - August 6, 1982

Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man
Название: Model-Based Engineering of Embedded Systems
ISBN: 3642346138 ISBN-13(EAN): 9783642346132
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.

Автор: Machado Ricardo J.
Название: Model-based Methodologies for Pervasive and Embedded Softwar
ISBN: 3642382088 ISBN-13(EAN): 9783642382086
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012.

Автор: Charles A. Shoniregun
Название: Impacts and Risk Assessment of Technology for Internet Security
ISBN: 1461498910 ISBN-13(EAN): 9781461498919
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Details the key impacts and risk assessment within the context of technology-enabled information (TEI). This volume is designed as a secondary text for graduate students, and also for a professional audience of researchers and practitioners in industry.