Specifying and proving properties of timed I/O automata in the TIOA toolkit

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695916 ◽

2006 ◽

Cited By ~ 13

Author(s):

M. Archer ◽

HongPing Lim ◽

N. Lynch ◽

S. Mitra ◽

S. Umeno

Download Full-text