Automatic generation and verification of design specifications

---

Autoria(s): Robinson, N. J.; Barney, D.; Kearney, P. F.; Nikandros, G.; Tombs, D. J.

Contribuinte(s)	H. Rochecouste D. Cropley
Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:95742
Idioma(s)	eng
Publicador	The Systems Engineering Society of Australia
Palavras-Chave	#E1 #280302 Software Engineering #690103 Rail transport
Tipo	Conference Paper