Found 1 results
Filters: Author is Umeno, Shinya  [Clear All Filters]
Archer, M., HP. Lim, N. Lynch, S. Mitra, and S. Umeno, "Specifying and Proving Properties of Timed I/O Automata in the TIOA Toolkit", Fourth ACM \& IEEE International Conference on Formal Methods and Models for Co-Design, Napa, California, pp. 129-138, 2006. Archer etal2006.pdf (101.11 KB)