(Ilmumisaeg: 31-May-2024, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781003853282)
Space System Architecture Analysis and Wargaming presents a single-source reference for two major topics that are not currently covered in literature related to subdisciplines of astronautics. It provides modeling and simulation tools to architect sp...Loe edasi...
(Ilmumisaeg: 31-May-2024, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781003853251)
Space System Architecture Analysis and Wargaming presents a single-source reference for two major topics that are not currently covered in literature related to subdisciplines of astronautics. It provides modeling and simulation tools to architect sp...Loe edasi...
(Ilmumisaeg: 25-Feb-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031230080)
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-p...Loe edasi...
(Ilmumisaeg: 25-Feb-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031230080)
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-p...Loe edasi...
Sari: Simulation Foundations, Methods and Applications
(Ilmumisaeg: 01-Jan-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031119262)
This introductory textbook/reference addresses the fundamental and mostly applied kinds of models. The focus is on models of dynamic systems that move and change over time. However, the work also proposes new methods of uncertainty treatment, offerin...Loe edasi...
Sari: Simulation Foundations, Methods and Applications
(Ilmumisaeg: 01-Jan-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031119262)
This introductory textbook/reference addresses the fundamental and mostly applied kinds of models. The focus is on models of dynamic systems that move and change over time. However, the work also proposes new methods of uncertainty treatment, offerin...Loe edasi...
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this vo...Loe edasi...
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this vo...Loe edasi...
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checki...Loe edasi...
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checki...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one key...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one key...Loe edasi...
(Ilmumisaeg: 08-Oct-2018, PDF+DRM, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781420040227)
The analysis of nonlinear hybrid electromagnetic systems poses significant challenges that essentially demand reliable numerical methods. In recent years, research has shown that finite-difference time-domain (FDTD) cosimulation techniques hold gre...Loe edasi...
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 se...Loe edasi...
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 se...Loe edasi...
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 review...Loe edasi...
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 review...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 01-Sep-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319657653)
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.? The aim of FORMATS is to promote the study of fundamenta...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 01-Sep-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319657653)
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.? The aim of FORMATS is to promote the study of fundamenta...Loe edasi...
(Ilmumisaeg: 08-Jun-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319508061)
This textbook provides an exciting new addition to the area of network science featuring a stronger and more methodical link of models to their mathematical origin and explains how these relate to each other with special focus on epidemic spread on n...Loe edasi...
