Peter Gorm Larsen

Generating Java RMI code for the distributed aspects of VDM-RT models

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 13th Overture Workshop
Number of pages15
VolumeGrace-TR 2015-06
Place of publicationTokyo
PublisherNational Institute of Informatics, Tokyo
Publication year2015
Pages75-89
StatePublished - 2015
Event13th Overture workshop - Oslo, Norway
Duration: 23 Jun 201523 Jun 2015

Conference

Conference13th Overture workshop
LandNorway
ByOslo
Periode23/06/201523/06/2015
SeriesGrace Technical Reports
Number06
Volume2015
ISSN1884-0760

See relations at Aarhus University Citationformats

ID: 87513615