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

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus : a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: In Proceedings Refine'15, arXiv:1606.01344
Keywords: cs.LO,cs.PL,cs.SE
Dates:
  • Published: 7 June 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 24 Jun 2016 15:43
Last Modified: 02 Sep 2019 23:36
Published Version: https://doi.org/10.4204/EPTCS.209.6
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.4204/EPTCS.209.6

Download

Share / Export

Statistics