Bo Stig Hansen
Former employee
Publications
(9)- Published
Abstract Transport Systems: Compositions and Description Languages
Publication: Research - peer-review › Article in proceedings – Annual report year: 1998
- Published
Abstract Transport Systems: An Initial Study
Publication: Research - peer-review › Report – Annual report year: 1998
- Published
A Formal Definition of VDM-SL
Publication: Research - peer-review › Report – Annual report year: 1998
Projects
(14)- Completed
- Completed
Deduktiv program syntese.
Project: PhD
- Completed
Domænemodelleringssprog
Project: PhD
Latest activities and conferences
Loading map data...
ID: 2202787