Components behaviour specification and validation with abstract states machines
- Sagardui, G.
- Aretxandieta, X.
- Etxeberria, L.
Actes de conférence:
Internet and Information Technology in Modern Organizations: Challenges and Answers - Proceedings of the 5th International Business Information Management Association Conference, IBIMA 2005
ISBN: 9780975339343
Année de publication: 2005
Volumen: 1
Type: Communication dans un congrès