Sciweavers

SIGADA
1999
Springer

A formal model of the Ada Ravenscar tasking profile; delay until

13 years 7 months ago
A formal model of the Ada Ravenscar tasking profile; delay until
Kristina Lundqvist, Lars Asplund
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where SIGADA
Authors Kristina Lundqvist, Lars Asplund
Comments (0)