Class and Capsule Refinement in UML for Real Time (2004)

Cached

Download Links

by Augusto Sampaio , Alexandre Mota , Rodrigo Ramos
Venue:In Proceedings of the Brazilian Workshop on Formal Methods, volume 95 of ENTCS
Citations:6 - 4 self