Formalizing Real-Time Embedded System into Promela.
| Autor: | Sukvanich, Punwess, Thongtak, Arthit, Vatanawood, Wiwat |
|---|---|
| Zdroj: | MATEC Web of Conferences; 2016, Vol. 35, p1-5, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Sukvanich, Punwess, Thongtak, Arthit, Vatanawood, Wiwat |
|---|---|
| Zdroj: | MATEC Web of Conferences; 2016, Vol. 35, p1-5, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|