Treffer: Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
Title:
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
Authors:
Source:
In Computer Languages, Systems & Structures December 2015 44 Part C:251-282
Database:
ScienceDirect