Circus Models for Safety-Critical Java Programs

Frank Zeyda, L Lalkhumsanga, Ana Lucia Caneca Cavalcanti, Andrew John Wellings

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1046-1091
Number of pages	46
Journal	The Computer Journal
Volume	57
Issue number	7
DOIs	https://doi.org/10.1093/comjnl/bxt060
Publication status	Published - 2013

Access to Document

10.1093/comjnl/bxt060

http://comjnl.oxfordjournals.org/content/57/7/1046

hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research

Cite this

@article{69d1f7a667594ab181eac747ae061c00,

title = "Circus Models for Safety-Critical Java Programs",

author = "Frank Zeyda and L Lalkhumsanga and Cavalcanti, {Ana Lucia Caneca} and Wellings, {Andrew John}",

year = "2013",

doi = "10.1093/comjnl/bxt060",

language = "English",

volume = "57",

pages = "1046--1091",

journal = "The Computer Journal",

issn = "0010-4620",

publisher = "Oxford University Press",

number = "7",

}