DMCA

The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems (2007)

Cached

Download Links

by Martin Ouimet , Kristina Lundqvist
Venue:IN: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON REAL-TIME AND NETWORK SYSTEMS (RTNS ’07
Citations:10 - 1 self