MATEC Web of Conferences

Formalizing Real-Time Embedded System into Promela

Punwess Sukvanich, Arthit Thongtak and Wiwat Vatanawood

MATEC Web of Conferences, 35 (2015) 03003

Published online: 16 December 2015

DOI: 10.1051/matecconf/20153503003

Punwess Sukvanich

Arthit Thongtak

Wiwat Vatanawood

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)