An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (1996)

Cached

Download Links

by Lihua Shi , Patrick Nixon
Venue:In Proceedings of Formal Methods Europe 96. Lecture Notes in Computer Science
Citations:2 - 0 self