Integrating the PVSio-web modelling and prototyping environment with Overture

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

Downloads: 0