Components behaviour specification and validation with abstract states machines
- Sagardui, G.
- Aretxandieta, X.
- Etxeberria, L.
Actes:
Internet and Information Technology in Modern Organizations: Challenges and Answers - Proceedings of the 5th International Business Information Management Association Conference, IBIMA 2005
ISBN: 9780975339343
Any de publicació: 2005
Volum: 1
Tipus: Aportació congrés