Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Sukvanich, Punwess"'
Publikováno v:
MATEC Web of Conferences, Vol 35, p 03003 (2015)
We propose an alternative of formalization of the real-time embedded system into Promela model. The proposed formal model supports the essential features of the real-time embedded system, including system resource-constrained handling, task prioritiz
Externí odkaz:
https://doaj.org/article/3e301d3c116a41859d242f347024724d
Publikováno v:
MATEC Web of Conferences; 2016, Vol. 35, p1-5, 5p
Publikováno v:
Information Science & Applications (ICISA) 2016; 2016, p1035-1043, 9p