Components behaviour specification and validation with abstract states machines
- Sagardui, G.
- Aretxandieta, X.
- Etxeberria, L.
Konferenzberichte:
Internet and Information Technology in Modern Organizations: Challenges and Answers - Proceedings of the 5th International Business Information Management Association Conference, IBIMA 2005
ISBN: 9780975339343
Datum der Publikation: 2005
Ausgabe: 1
Art: Konferenz-Beitrag