A. Alfonso

Learn More
Formal description of real-time requirements is a difficult and error prone task. Conceptual and tool support for this activity plays a central role in the agenda of technologytransference from the formal verification engineeringcommunity to the Real Time Systems development practice.In this article we present V TS, a visual language to define complex(More)
  • 1