Sign in

A Framework for Verification of Software with Time and Probabilities.

Marta Z. KwiatkowskaGethin NormanDavid Parker
Published in: FORMATS (2010)
Keyphrases
  • probabilistic model
  • lightweight
  • real time
  • software architecture
  • software development
  • static analysis