Found 2 results
Filters: Author is Riccobene, Elvinia  [Clear All Filters]
Archer, M., C. L. Heitmeyer, and E. Riccobene, "Proving Invariants of I/O Automata with TAME", Automated Software Engineering, vol. 9, pp. 201-232, 2002. PDF icon Archer etal2002.pdf (355.28 KB)
Riccobene, E., M. Archer, and C. L. Heitmeyer, "Applying TAME to I/O Automata: A User's Perspective", NRL Memorandum Report, no. 5540-00-8848, 2000. PDF icon Riccobene etal2000.pdf (318 KB)