The Safety-Critical Java Mission Model: A Formal Account.
Frank Zeyda, Ana Cavalcanti and Andy J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Zeyda2011,
abstract = {},
author = {Frank Zeyda and Ana Cavalcanti and Andy J. Wellings},
booktitle = {ICFEM},
editor = {Shengchao Qin and Zongyan Qiu},
pages = {49-65},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The Safety-Critical Java Mission Model: A Formal Account.},
volume = {6991},
year = {2011}
}