VDM-SL in action: A FRAM-based approach to contextualise formal specifications

Tomohiro Oda, Shigeru Kusakabe, Han-Myung Chang, Peter Gorm Larsen

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

Original languageEnglish
Title of host publicationProceedings of the 20th International Overture Workshop
EditorsHugo Daniel Macedo, Ken Pierce
Number of pages14
Publication dateAug 2022
Pages5-18
DOIs
Publication statusPublished - Aug 2022
Event20th Overture Workshop - Aarhus University, Aarhus, Denmark
Duration: 5 Jul 20225 Jul 2022

Conference

Conference20th Overture Workshop
LocationAarhus University
Country/TerritoryDenmark
CityAarhus
Period05/07/202205/07/2022

Cite this