Výsledky vyhledávání - "Lassen, Poul Bøgh"

Akademický článek

The IFAD VDM-SL toolbox.

Autor: Elmstrøm, René, Larsen, Peter Gorm, Lassen, Poul Bøgh

Publikováno v: ACM / SIGPLAN Notices; Sep1994, Vol. 29 Issue 9, p77-80, 4p

Zobrazit plný text záznamu

Periodical

An executable subset of VDM-SL in an SA/RT framework

Autor: Elmstrøm, René, Lassen, Poul Bøgh, Andersen, Michael

Publikováno v: Real-Time Systems; May 1993, Vol. 5 Issue: 2-3 p197-211, 15p

Zobrazit plný text záznamu