Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
Park, Heejong, Malik, Avinash, Salcic, ZoranVolume:
44
Language:
english
Journal:
Computer Languages, Systems & Structures
DOI:
10.1016/j.cl.2015.08.006
Date:
December, 2015
File:
PDF, 3.54 MB
english, 2015