DMCA

Specification of Realtime Systems Using ASTRAL (1997)

Cached

Download Links

by Alberto Coen-porisini , Carlo Ghezzi , Richard A. Kemmerer
Venue:IEEE Transactions on Software Engineering
Citations:41 - 21 self