A formal specification and annealing of a network-hub in VDM++

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Originalspracheenglisch
ErscheinungsortGraz
Verlag.
PublikationsstatusVeröffentlicht - 2001

Publikationsreihe

NameTechnical Report IST-TEC-01-03

Dieses zitieren

Peischl, B. (2001). A formal specification and annealing of a network-hub in VDM++. (Technical Report IST-TEC-01-03). Graz: .