2 search results - page 1 / 1 » On the Timed Automata-Based Verification of Ravenscar System... |
ADAEUROPE
2008
Springer
13 years 7 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...