Formal Modeling and Analysis of Timed Systems, Franck Cassez; Claude Jard

Автор: Fr?nzle
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319448773 ISBN-13(EAN): 9783319448770
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

Автор: Bell
Название: Service-Oriented Modeling - Service Analysis, Design, and Architecture
ISBN: 0470141115 ISBN-13(EAN): 9780470141113
Издательство: Wiley
Рейтинг:
Цена: 52800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides answers to your most pressing SOA development questions - How do we start with service modeling? How do we analyze services for better reusability? Who should be involved? And how do we create the best architecture model for our organization? This book provides common language and techniques for business and technology organizations.

Автор: Joel Ouaknine; Frits W. Vaandrager
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642043674 ISBN-13(EAN): 9783642043673
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

Автор: Kazuo Murota
Название: Matrices and Matroids for Systems Analysis
ISBN: 3642039936 ISBN-13(EAN): 9783642039935
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a unique introduction to matroid theory, emphasizing motivations from matrix theory and applications to systems analysis. It serves also as a comprehensive presentation of the theory and application of mixed matrices.

Автор: Grabowski
Название: System Analysis and Modeling. Technology-Specific Aspects of Models
ISBN: 3319466127 ISBN-13(EAN): 9783319466125
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.