Formal Modeling and Analysis of Timed Systems, David N. Jansen; Pavithra Prabhakar
Автор: Franck Cassez; Claude Jard Название: Formal Modeling and Analysis of Timed Systems ISBN: 354085777X ISBN-13(EAN): 9783540857778 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Автор: Alessandro Abate; Gilles Geeraerts Название: Formal Modeling and Analysis of Timed Systems ISBN: 331965764X ISBN-13(EAN): 9783319657646 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Автор: Sriram Sankaranarayanan; Enrico Vicario Название: Formal Modeling and Analysis of Timed Systems ISBN: 3319229745 ISBN-13(EAN): 9783319229744 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Custom and ritual, or their Hebrew equivalent minhag, has intrigued rabbis and scholars for generations. Here, Simcha Fishbane treats minhag from a socio-anthropological perspective. She discusses the theory and model of minhagim, using the Mishnah Berurah and the Arukh Hashulkhan, analyses rabbinic texts concerned with custom, and describes current rituals from a socio-anthropological viewpoint.
Автор: V?ctor Braberman; Laurent Fribourg Название: Formal Modeling and Analysis of Timed Systems ISBN: 3642402283 ISBN-13(EAN): 9783642402289 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
Автор: Fr?nzle Название: Formal Modeling and Analysis of Timed Systems ISBN: 3319448773 ISBN-13(EAN): 9783319448770 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;
Автор: Axel Legay; Marius Bozga Название: Formal Modeling and Analysis of Timed Systems ISBN: 3319105116 ISBN-13(EAN): 9783319105116 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.
Автор: Joel Ouaknine; Frits W. Vaandrager Название: Formal Modeling and Analysis of Timed Systems ISBN: 3642043674 ISBN-13(EAN): 9783642043673 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).
Автор: Gribaudo & Lacono Название: Theory And Application Of Multi-Formalism Modeling ISBN: 1466646594 ISBN-13(EAN): 9781466646599 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges.Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
Описание: This contributed volume collects cutting-edge research in Geographic Information Science & Technologies, Location Modeling, and Spatial Analysis of Urban and Regional Systems. The contributions emphasize methodological innovations or substantive breakthroughs on many facets of the socio-economic and environmental reality of urban and regional contexts.
Автор: Harchol-Balter Название: Performance Modeling and Design of Computer Systems ISBN: 1107027500 ISBN-13(EAN): 9781107027503 Издательство: Cambridge Academ Рейтинг: Цена: 12038.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science. Through a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises, readers acquire the skills needed to model, analyze and design large-scale systems with good performance and low cost.
Автор: Vladimir S. Lerner Название: Information Systems Analysis and Modeling ISBN: 1461370981 ISBN-13(EAN): 9781461370987 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Informational Macrodynamics (IMD) presents the unified information systemic approach with common information language for modeling, analysis and optimization of a variety of interactive processes, such as physical, biological, economical, social, and informational, including human activities.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year’s edition of SAM will be under the theme “Languages, Methods, and Tools for Systems Engineering”, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
