Find

Til studerende
Til ph.d.er
Til medarbejdere

Institut for Elektro- og Computerteknologi

Publications

Sortér efter: Dato | Forfatter | Titel

Elstrøm, R., Larsen, P. G., Elstrøm, B. & Bøgh Lassen, P. (1994). The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices, 29(9), 77. http://delivery.acm.org/10.1145/190000/185028/p77-elmstrom.pdf?ip=130.225.0.242&acc=ACTIVE%20SERVICE&CFID=82297251&CFTOKEN=45878467&__acm__=1327920335_55e27fc4e0d36e1171a9a9c31a69a65b

Larsen, P. G. & Woodcock, J. (red.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Bind 670

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. (1993). Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Afhandling præsenteret på Semantics of Specification Languages, Utrecht, Holland. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.4818

Larsen, P. G. & Plat, N. (1992). An overview of the ISO/VDM-SL Standard. ACM SIGPLAN Notices, 27(8), 76-82. http://dl.acm.org/citation.cfm?id=142153

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. & Plat, N. (1992). Standards for Nonexecutable Specification Languages. The Computer Journal, 35(6), 567-573. http://comjnl.oxfordjournals.org/content/35/6/567.full.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

Viser resultater 501 til 510 ud af 510

11

Revideret 06.03.2025

-

Peter Gorm Larsen