![](/img/cover-not-exists.png)
Formalizing Real-Time Embedded System into Promela
Sukvanich, Punwess, Thongtak, Arthit, Vatanawood, Wiwat, Guo, Z., Chang, G.Volume:
35
Year:
2015
Language:
english
Journal:
MATEC Web of Conferences
DOI:
10.1051/matecconf/20153503003
File:
PDF, 184 KB
english, 2015