SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

A. Miyazawa, A. L. C. Cavalcanti

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

Original languageUndefined/Unknown
Title of host publicationREFINE Workshop
Publication statusPublished - 2015

Cite this