An integration of real-time object-Z and CSP for specifying concurrent real-time systems

---

Autoria(s): Smith, G. P.

Contribuinte(s)	M. Butler L. Petre K. Sere
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97072
Publicador	Springer-Verlag
Palavras-Chave	#E1 #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper