The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering (0)

by Martin Ouimet, Kristina Lundqvist
Venue:In: Journal of Universal Computer Science 14.12 (2008