Semantics of UML Statecharts in PVS Demissie Aredo Publikasjonsdetaljer Journal: Ukjent, p. 6–6, Tuesday 1. July 2003 Lenke: FULLTEKST: http://publications.nr.no/3747/Aredo_-_Semantics_of_UML_Statecharts_in_PVS.pdf Du er her: Hjem Publikasjoner Vitenskapelig artikkel Semantics of UML Statecharts in PVS