Integrating the PVSio-web modelling and prototyping environment with Overture. Masci, P.; Couto, L. D.; Larsen, P. G.; and Curzon, P. In Ishikawa, F. and Larsen, P. G., editors, Proceedings of the 13th Overture Workshop, pages 33-47, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-Ku, Tokyo, Japan, June, 2015. Center for Global Research in Advanced Software Science and Engineering. GRACE-TR-2015-06
Paper bibtex @INPROCEEDINGS{Masci&15a,
KEY = "Masci\&15",
AUTHOR = "Paolo Masci and Luis Diogo Couto and Peter Gorm Larsen and
Paul Curzon",
EDITOR = "Fuyuki Ishikawa and Peter Gorm Larsen",
TITLE = "{Integrating the PVSio-web modelling and prototyping
environment with Overture}",
BOOKTITLE = "Proceedings of the 13th Overture Workshop",
PUBLISHER = "Center for Global Research in Advanced Software Science
and Engineering",
ADDRESS = "National Institute of Informatics, 2-1-2 Hitotsubashi,
Chiyoda-Ku, Tokyo, Japan",
YEAR = "2015",
MONTH = "June",
PAGES = "33-47",
NOTE = "GRACE-TR-2015-06",
URL = "http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf",
ANNOTE = "",
COMMENT = "PGL I have the sources"}
%G OVERTURE VDM TOOL