Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Model Check"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
model check »
model checker
,
model checking
,
model checkers
Showing
1
-
10
of
10
Search:
'"Model Check"'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
by
David A. Rosenblueth
Published 2016
Frontiers Media SA
Subjects:
“
...
model
checking
...
”
Read Now
2
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
by
Shoham, Sharon
Published 2022
Springer Nature
Subjects:
“
...
model
checking
...
”
Read Now
3
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
by
Shoham, Sharon
Published 2022
Springer Nature
Subjects:
“
...
model
checking
...
”
Read Now
4
Agents and Robots for Reliable Engineered Autonomy
by
Cardoso, Rafael C.
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
model
checking
...
”
Read Now
5
Mathematics in Software Reliability and Quality Assurance
by
Dohi, Tadashi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
model
checking
...
”
Read Now
6
Logic and Computation
by
Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
model
checking
...
”
Read Now
7
New Developments in Statistical Information Theory Based on Entropy and Divergence Measures
by
Pardo, Leandro
Published 2019
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
model
check
...
”
Read Now
8
Trustworthiness in Mobile Cyber Physical Systems
by
Kang, Kyungtae
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
model
checking
...
”
Read Now
9
Business Model-the Perspective of Systems Thinking and Innovation
by
Henten, Anders Hansen
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...probabilistic
model
checking
...
”
Read Now
10
Cyber Security of Critical Infrastructures
by
Maglaras, Leandros
Published 2021
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...probabilistic
model
checking
...
”
Back
Narrow Search
Year of Publication
From:
To:
Classification
000 - Computer science, information & general works
5
600 - Technology
5
700 - The arts; fine & decorative arts
5
620 - Engineering & allied operations
4
140 - Specific philosophical schools
3
380 - Commerce, communications & transportation
3
more ...
400 - Language
3
500 - Natural sciences & mathematics
3
330 - Economics
2
363 - Other social problems & services
2
720 - Architecture
2
160 - Logic
1
340 - Law
1
370 - Education
1
410 - Linguistics
1
630 - Agriculture & related technologies
1
658 - General management
1
900 - History & geography
1
see all ...
less ...
Language
English
10
Collection
Directory of Open Access Books
8
OAPEN
2
Author
Shoham, Sharon
2
Vizel, Yakir
2
Briola, Daniela
1
Cardoso, Rafael C.
1
David A. Rosenblueth
1
Diaconescu, Răzvan
1
more ...
Dohi, Tadashi
1
Ferrag, Mohamed Amine
1
Ferrando, Angelo
1
Henten, Anders Hansen
1
Kang, Kyungtae
1
Kantzavelou, Ioanna
1
Liu, Shaoying
1
Maglaras, Leandros
1
Menghi, Claudio
1
Pardo, Leandro
1
Son, Junggab
1
Suh, Hyo-Joong
1
Windekilde, Iwona
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Model+Check%22&type=Subject
Send by Email
×
Loading...