Niusha Hakimipour, Paul A. Strooper, Roger Duke. Exploring Model-Based Development for the Verification of Real-Time Java Code. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{HakimipourSD08,
title = {Exploring Model-Based Development for the Verification of Real-Time Java Code},
author = {Niusha Hakimipour and Paul A. Strooper and Roger Duke},
year = {2008},
url = {http://ceur-ws.org/Vol-372/paper08.pdf},
tags = {rule-based, Java, meta-model, model-driven development, Meta-Environment},
researchr = {https://researchr.org/publication/HakimipourSD08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008},
editor = {Bernhard Beckert and Gerwin Klein},
volume = {372},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}