Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
2018 ed.
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018.
The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.
Get Formal Modeling and Analysis of Timed Systems by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Bio-Inspired Optimization for Medical Data Mining
Ksh 28,100.00
Perspectives on Business Intelligence
Ksh 5,050.00
Domain Science and Engineering
Ksh 27,000.00
Universal Access in Human-Computer Interaction. Applications and Practice
Ksh 8,100.00
LATIN 2024: Theoretical Informatics
Ksh 19,800.00
Evaluation of Novel Approaches to Software Engineering
Ksh 18,000.00
