Design and model checking of timed automata oriented architecture for Internet of thing
The architecture model of the Internet of thing system is the primary foundation for the design and implementation of the Internet of thing system. This article discusses the method and practice of time automaton modeling and model checking for the architecture of the Internet of thing system from t...
Main Authors: | Guang Chen, Tonghai Jiang, Meng Wang, Xinyu Tang, Wenfei Ji |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi - SAGE Publishing
2020-05-01
|
Series: | International Journal of Distributed Sensor Networks |
Online Access: | https://doi.org/10.1177/1550147720911008 |
Similar Items
-
Language Inclusion Checking of Timed Automata Based on Property Patterns
by: Ting Wang, et al.
Published: (2022-12-01) -
Branching-Time Model-Checking of Probabilistic Pushdown Automata.
by: Brázdil, T, et al.
Published: (2009) -
Timed Automata Robustness Analysis via Model Checking
by: Jaroslav Bendík, et al.
Published: (2022-07-01) -
Model Checking One-clock Priced Timed Automata
by: Patricia Bouyer, et al.
Published: (2008-06-01) -
Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
by: Hague, M
Published: (2006)