Výsledky vyhledávání - "Vatanawood Wiwat"

Akademický článek

Formalizing Real-Time Embedded System into Promela

Autor: Sukvanich Punwess, Thongtak Arthit, Vatanawood Wiwat

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

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Formal specification scheme for database applications using requirements particle networks

Autor: Vatanawood, Wiwat, Rivepiboon, Wanchai

Publikováno v: Engineering Computations, 2002, Vol. 19, Issue 8, pp. 932-952.

Externí odkaz: http://www.emeraldinsight.com/doi/10.1108/02644400210450701

Zobrazit plný text záznamu

Conference

Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets.

Autor: Thampibal, Lalita, Vatanawood, Wiwat

Publikováno v: ACM International Conference Proceeding Series; 12/20/2019, p338-343, 6p

Zobrazit plný text záznamu

Detection of Design Patterns in Software Design Model Using Graph

Autor: Chalida Liamwiset, Vatanawood Wiwat

Publikováno v: Applied Mechanics and Materials. :559-562

Detection of design patterns in software design phase possibly ensures the non-functional requirements, regarding performance features, before investing the implementation. We formalize the structural UML class diagram using graph. By applying graph

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7ffec92dc644f9bb08b975a8cbf794c0
https://doi.org/10.4028/www.scientific.net/amm.411-414.559

Zobrazit plný text záznamu