Applying SOFL to constructing a smart traffic light specification
| WE Sulistiono, S Liu | Applying SOFL to constructing a smart traffic light specification | Prosiding Internasional | Workshop on Structured Object-Oriented Formal …, 2013 – Springer | 2013 | Google Scholar |