Towards formally verifiable resource bounds for real-time embedded systems (2006)

by Kevin Hammond , Christian Ferdin , Reinhold Heckmann , Roy Dyckhoff , Martin Hofmann , Steffen Jost , Hans-wolfgang Loidl , Greg Michaelson , Robert Pointon , Norman Scaife , Jocelyn Sérot , Andy Wallace
Venue:ACM SIGBED Review— Special issues
Citations:7 - 3 self