"Statistical Model Checking for Traffic Models"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Model checking /	Clarke, Edmund M.,		The MIT Press
Model checking /	Clarke, Edmund M.,; Grumberg, Orna.; Peled, Doron A.,	c1999.	MIT Press,
Model checking /	Clarke, Edmund M.,; Grumberg, Orna,; Peled, Doron A.,	©1999.	MIT Press,
Symbolic Model Checking	Kenneth L. McMillan	1993	Springer US
A bootstrap approach to model checking for linear models under length-biased data	Ojeda J.L., Cristobal J.A.	2008
Handbook of Model Checking	Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem	1st ed. 2018	Springer International Publishing
Principles of model checking /	Baier, Christel.; Katoen, Joost-Pieter.	[2008?]	The MIT Press,
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Statistical Models	A. C. Davison	2003-08	Cambridge University Press
Statistical Models	A. C. Davison	2008	Cambridge University Press
Conformance Checking: Relating Processes and Models	Josep Carmona; Boudewijn van Dongen; Andreas Solti; Matthias Weidlich	1st ed. 2018	Springer International Publishing
Statistical Models for Strategic Management	Michel Ghertman; Jacques Obadia; Jean-Luc Arregle	1997	Springer US
Statistical Models for Data Analysis	Paolo Giudici; Salvatore Ingrassia; Maurizio Vichi	2013	Springer International Publishing
Statistical Models for Causal Analysis	Robert D. Retherford	1993	John Wiley & Sons
Statistical models for causal analysis /	Retherford, Robert D.; Choe, Minja Kim,	[1993], ©1993.	Wiley,
Statistical decision models for management	John E. Hanke	1984	Allyn and Bacon
Annual traffic statistical report	Montana. Highway Patrol Division. Accident Records Bureau	1991	Montana Highway Patrol
VBR Video Traffic Models	Savera Tanwir	2014	John Wiley & Sons
Model Checking Quantum Systems: Principles and Algorithms	Mingsheng Ying; Yuan Feng	2021-02	Cambridge University Press
Asymptotic Expansions for General Statistical Models	Johann Pfanzagl	1985	Springer New York
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Statistical Model Checking for Traffic Models	B. Thamilselvam; Subrahmanyam Kalyanasundaram; Shubham Parmar; M. V. Panduranga Rao	Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings	Sérgio Campos; Marius Minea	1st ed. 2021	Springer International Publishing
Statistical Model Checking	Axel Legay; Anna Lukina; Louis Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu	Computing and Software Science: State of the Art and Perspectives	Bernhard Steffen; Gerhard Woeginger	1st ed. 2019	Springer International Publishing
Simulation and Statistical Model Checking for Modestly Nondeterministic Models	Jonathan Bogdoll; Arnd Hartmanns; Holger Hermanns	Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings	Jens B. Schmitt	2012	Springer Berlin Heidelberg
Deep Statistical Model Checking	Timo P. Gros; Holger Hermanns; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz	Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Alexey Gotsman; Ana Sokolova	1st ed. 2020	Springer International Publishing
Statistical Model Checking for Product Lines	Maurice H. ter Beek; Axel Legay; Alberto Lluch Lafuente; Andrea Vandin	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	1st ed. 2016	Springer International Publishing
Checking and Distributing Statistical Model Checking	Peter Bulychev; Alexandre David; Kim Guldstrand Larsen; Axel Legay; Marius Mikučionis; Danny Bøgsted Poulsen	NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings	Alwyn Goodloe; Suzette Person	2012	Springer Berlin Heidelberg
Model Checking for Multivariate Regression Models		Nonparametric Monte Carlo Tests and Their Applications	Li-Xing Zhu	2005	Springer New York
Statistical Model Checking for Composite Actor Systems	Jonas Eckhardt; Tobias Mühlbauer; José Meseguer; Martin Wirsing	Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers	Narciso Martí-Oliet; Miguel Palomino	2013	Springer Berlin Heidelberg
Using Statistical Model Checking for Measuring Systems	Radu Grosu; Doron Peled; C. R. Ramakrishnan; Scott A. Smolka; Scott D. Stoller; Junxing Yang	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II	Tiziana Margaria; Bernhard Steffen	2014	Springer Berlin Heidelberg
Semantic Importance Sampling for Statistical Model Checking	Jeffery P. Hansen; Lutz Wrage; Sagar Chaki; Dionisio de Niz; Mark Klein	Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings	Christel Baier; Cesare Tinelli	2015	Springer Berlin Heidelberg
Statistical Model Checking for Cyber-Physical Systems	Edmund M. Clarke; Paolo Zuliani	Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings	Tevfik Bultan; Pao-Ann Hsiung	2011	Springer Berlin Heidelberg
Statistical Model Checking for Variability-Intensive Systems	Maxime Cordy; Mike Papadakis; Axel Legay	Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings	Heike Wehrheim; Jordi Cabot	1st ed. 2020	Springer International Publishing
Statistical Model Checking: An Overview	Axel Legay; Benoît Delahaye; Saddek Bensalem	Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann	2010	Springer Berlin Heidelberg
STATISTICAL INFERENCE AND MODEL CHECKING		An Introduction to Categorical Data Analysis [3rd ed. ]	Alan Agresti	2019	Wiley
Checking traffic		Alexa For Dummies	Paul McFedries	2021	For Dummies
Statistical Model Checking of Simulink Models with Plasma Lab	Axel Legay; Louis-Marie Traonouez	Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers	Cyrille Artho; Peter Csaba Ölveczky	1st ed. 2016	Springer International Publishing
Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems	Kim G. Larsen	Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings	Marcin Jurdzinski; Dejan Nickovic	2012	Springer Berlin Heidelberg
On Efficiently Specifying Models for Model Checking	Mykhaylo Nykolaychuk; Michael Lipaczewski; Tino Liebusch; Frank Ortmeier	Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings	Frank Ortmeier; Antoine Rauzy	2014	Springer International Publishing
Symbolic Model Checking for Factored Probabilistic Models	David Deininger; Rayna Dimitrova; Rupak Majumdar	Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings	Cyrille Artho; Axel Legay; Doron Peled	1st ed. 2016	Springer International Publishing
Rare Events for Statistical Model Checking an Overview	Axel Legay; Sean Sedwards; Louis-Marie Traonouez	Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings	Kim Guldstrand Larsen; Igor Potapov; Jiří Srba	1st ed. 2016	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Statistical Model Checking for Traffic Models" - similar Books and Chapters