|
| Keyword : UPPAAL
|
IoT Modeling and Verification: From the CaIT Calculus to UPPAAL
Ningning CHEN Huibiao ZHU | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2023/09/01
Vol. E106-D
No. 9 ;
pp. 1507-1518
Type of Manuscript:
PAPER
Category: Fundamentals of Information Systems
Keyword:
IoT, CaIT calculus, timed automata, UPPAAL, | | | Summary | Full Text:PDF | |
| |
|
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
Yoshitaka AOKI Saeko MATSUURA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D
No. 5 ;
pp. 1097-1108
Type of Manuscript:
Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category:
Keyword:
model checking, UPPAAL, Eclipse, | | | Summary | Full Text:PDF | |
|
|