Subject:

Model checking   New Search

---

View on DBpedia    View on Wikipedia

---

Top related subjects:

RELATED SUBJECTS:
The publications listed also have these subjects

---

Formal methods  4 times
Formal verification  3 times
Unified Modeling Language  2 times
Reference model  2 times
Machine tool  2 times
Internet  2 times
Classical mechanics  2 times
Boolean satisfiability problem  2 times
Association for Computing Machinery  2 times
Wireless sensor network  1 time
Trust law  1 time
Time series  1 time
Test statistic  1 time
String theory  1 time
Revised Version  1 time
Reinforcement learning  1 time
Program optimization  1 time
Polynomial  1 time
Petri net  1 time
Norwegian language  1 time
Nigeria  1 time
Network theory  1 time
Markov chain  1 time
Logic gate  1 time
International  1 time
Interaction  1 time
Integrated development environment  1 time
Institute of Electrical and Electronics Engineers  1 time
Heuristic  1 time
Equivalence relation  1 time
Equivalence class  1 time
Electrocardiography  1 time
Dialysis  1 time
Data structure  1 time
Computer-aided design  1 time
Computer science  1 time
Computer memory  1 time
Chi-squared distribution  1 time
Business process  1 time
Boolean algebra  1 time
Automation  1 time
Artificial intelligence  1 time
Algorithm  1 time
ARM architecture  1 time

Publications tagged with this subject: 26

Note: Top 50 publications shown only. Open an item panel to view more info (open all)