Components behaviour specification and validation with abstract states machines
- Sagardui, G.
- Aretxandieta, X.
- Etxeberria, L.
Proceedings:
Internet and Information Technology in Modern Organizations: Challenges and Answers - Proceedings of the 5th International Business Information Management Association Conference, IBIMA 2005
ISBN: 9780975339343
Year of publication: 2005
Volume: 1
Type: Conference paper