Aarhus Universitets segl

Publications

Sortér efter: Dato | Forfatter | Titel

Larsen, P. G. (1993). Første VDM-SL standard på vej. IT standardnyt : et nyhedsbrev om edb-standardisering, 4(2), 14. http://pglconsult.dk/private/oversigt.pdf
Larsen, P. G., Andersen, M., Elmstrøm, R. & Bøgh Lassen, P. (1992). Making specifications executable - using IPTES Meta-IV. Afhandling præsenteret på 18th EUROMICRO Symposium on Microprocessing and Microprogramming - EUROMICRO 92, Paris, Frankrig. http://pglconsult.dk/private/euro.pdf
Larsen, P. G. (1990). A Formal Event Structuring Approach to Real-Time Design. I Proc EUROMICRO 90 Workshop Real Time
Larsen, P. G. (1990). An Event Structuring Approach to Real-Time Design. Afhandling præsenteret på 2nd Nordic Workshop on Program Correctness, Aalborg, Danmark. http://pglconsult.dk/private/larsen90event.pdf
Larsen, P. G., Meincke Arentoft, M., Monahan, B. & Bear, S. (1989). Towards a Formal Semantics of the BSI/VDM Specification Language. Afhandling præsenteret på Information Processing 89, San Francisco, USA. http://pglconsult.dk/private/ifip.pdf