Login / Signup

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

Kristina LundqvistLars Asplund
Published in: SIGAda (1999)
Keyphrases
  • formal model
  • user profiles
  • security properties
  • formal models
  • early stage
  • model checking