You are here:
» VDM-SL in action
VDM-SL in action: A FRAM-based approach to contextualise formal specifications
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
- Tomohiro Oda, Software Research Associates, Inc.
, - Shigeru Kusakabe, University of Nagasaki
, - Han-Myung Chang, Nanzan University
, - Peter Gorm Larsen
| Original language | English |
|---|
| Title of host publication | Proceedings of the 20th International Overture Workshop |
|---|
| Editors | Hugo Daniel Macedo, Ken Pierce |
|---|
| Number of pages | 14 |
|---|
| Publication year | Aug 2022 |
|---|
| Pages | 5-18 |
|---|
| DOIs | |
|---|
| Publication status | Published - Aug 2022 |
|---|
| Event | 20th Overture Workshop - Aarhus University, Aarhus, Denmark
Duration: 5 Jul 2022 → 5 Jul 2022 |
|---|
| Conference | 20th Overture Workshop |
|---|
| Location | Aarhus University |
|---|
| Land | Denmark |
|---|
| By | Aarhus |
|---|
| Periode | 05/07/2022 → 05/07/2022 |
|---|
See relations at Aarhus University
Citationformats
ID: 279437934
