Tag model checking
Tagged Works
4
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
- Principles of Model Checking by Christel Baier
- Model Checking by Edmund M. Clarke Jr.
- The SPIN Model Checker: Primer and Reference Manual by Gerard J. Holzmann
- Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58) by Stéphane Demri
- Handbook of Model Checking by Edmund M. Clarke
- An Introduction to Discrete Mathematics, Formal System Specification, and Z by D. C. Ince
- Misspecification Tests in Econometrics: The Lagrange Multiplier Principle and Other Approaches (Econometric Society Monographs) by L. G. Godfrey
- 25 Years of Model Checking: History, Achievements, Perspectives by Orna Grumberg
- Model Selection and Model Averaging by Gerda Claeskens
- Nonparametric smoothing and lack-of-fit tests by Jeffrey D. Hart
- Model Checking Software (SPIN 2004) by Susanne Graf
- Nonparametric Econometrics: Theory and Practice by Qi Li
- Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers by Leslie Lamport
- Probability Theory and Statistical Inference: Econometric Modeling with Observational Data by Aris Spanos
- Principles of Neural Model Identification, Selection and Adequacy: With Applications to Financial Econometrics (Perspect by Achilleas Zapranis
- Temporal Verification of Reactive Systems: Safety by Zohar Manna
- Regression Analysis: A Constructive Critique by Richard A. Berk
- Statistics and Econometric Models by Christian Gourieroux
- Estimation, Inference and Specification Analysis (Econometric Society Monographs) by Halbert L. White, Jr
- Smoothing Methods in Statistics by Jeffrey S. Simonoff
Using the Tag
cshalizi (10), agashlin (7), jciern2 (2), dakvid (2), henny (1), koffieyahoo (1), Divadrax (1), louisedennis (1), draganigajic (1), JelenaMarincic (1)
Related Series
Aliases and Translations
Includes: model checking, Model checking, Model Checking
Translations: Model Checking, Model checking, Model checking, Model checking, Modelių tikrinimas, Verificação de modelos, Проверка моделей, Overovanie modelov
Google Books Ngram Viewer
Data from Books Ngram Viewer