A comparison of state-based modelling tools for model validation


Autoria(s): Aydal, Emine; Utting, Mark; Woodcock, Jim
Contribuinte(s)

Paige, R

Meyer, B

Data(s)

2008

Identificador

http://eprints.qut.edu.au/80627/

Publicador

Springer

Relação

DOI:10.1007/978-3-540-69824-1_16

Aydal, Emine, Utting, Mark, & Woodcock, Jim (2008) A comparison of state-based modelling tools for model validation. In Paige, R & Meyer, B (Eds.) Objects, Components, Models and Patterns: 46th International Conference Proceedings, 30 June - 4 July, 2008, Switzerland.

Palavras-Chave #080300 COMPUTER SOFTWARE
Tipo

Conference Paper