MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

The TemPAC software has been replaced by the TemLoPAC software which uses the newer framework approach. To download it, kindly visit the software download page www.modeves.com/temlopac.html . Moreover, the theoretical background (semantics and framework details) can be found in the relevant research report www.modeves.com/patterns.html

Back