Formal Verication of UML Statecharts with Real-Time Extensions? Alexandre David , M. Oliver Moller , and Wang Yi 1 2 - David Wang - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Verication of UML Statecharts with Real-Time Extensions? Alexandre David , M. Oliver Moller , and Wang Yi 1 2 Add to Reading List Document Date: 2002-05-14 03:19:47 Open Document File Size: 318,71 KB Share Result on Facebook

Formal Veri cation of UML Statecharts with Real-Time Extensions? Alexandre David , M. Oliver Moller , and Wang Yi 1 2Add to Reading List