1999 | ||
---|---|---|
6 | EE | Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen: A Case Study in the Reuse of On-board Embedded Real-Time Software. Ada-Europe 1999: 425-436 |
1993 | ||
5 | Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Experience from Applications of RAISE. FME 1993: 52-63 | |
1991 | ||
4 | D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) 1991: 645-657 | |
1989 | ||
3 | Jan Storbank Pedersen: Some Thoughts on the Use of Special Purpose Languages for Real-Time Programming. IFIP Congress 1989: 19-20 | |
1987 | ||
2 | Jan Storbank Pedersen: VDM in Three Generations of Ada* Formal Descriptions. VDM Europe 1987: 33-48 | |
1980 | ||
1 | Jan Storbank Pedersen: A Formal Semantics Definition of Sequential Ada. Towards a Formal Description of Ada 1980: 213-308 |
1 | Gert Caspersen | [6] |
2 | D. L. Chalmers | [4] |
3 | Bent Dandanell | [4] [5] |
4 | Jesper Gørtz | [4] [5] |
5 | Tullio Vardanega | [6] |
6 | Eld Zierau | [4] [5] |