A model-based development approach for the verification of real-time Java code
Niusha Hakimi Pour, Paul Strooper and Andy Wellings
No Abstract Available
Download Not Available
BibTex Entry
@article{Pour2011,
abstract = {},
author = {Niusha Hakimi Pour and Paul Strooper and Andy Wellings},
doi = {10.1002/cpe.1728},
issn = {1532-0634},
journal = {Concurrency and Computation: Practice and Experience},
keyword = {RTSJ, formal verification, model-based approach},
link = {http://dx.doi.org/10.1002/cpe.1728},
pages = {n/a--n/a},
publisher = {John Wiley & Sons, Ltd.},
title = {A model-based development approach for the verification of real-time Java code},
year = {2011}
}