Searching for "An Executable Subset of VDM-SL, in an SA/RT Framework." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

An executable subset of VDM-SL, in an SA/RT framework
by René Elmstrøm, Poul Bøgh Lassen, Poul B��gh Lassen, Michael Andersen — 1993 — In Real-Time Systems
…An executable subset of VDM-SL, in an SA/RT framework Ren'e Elmstr��m, Poul B��gh Lassen, Michael…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB