Login / Signup

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.

Duncan ClarkeHanêne Ben-AbdallahInsup LeeHong-liang XieOleg Sokolsky
Published in: CAV (1996)
Keyphrases
  • real time systems
  • real time
  • metadata
  • lower bound
  • upper bound
  • software engineering
  • low cost
  • formal specification