ebXML verification using model checking

Autor: Di Sciascio, Eugenio
Matična publikacija: ITI ... (Tisak) (2004)

Automatic support for verification of secure transactions in distributed environment using symbolic model checking

Autor: Di Sciascio, Eugenio
Matična publikacija: CIT. Journal of computing and information technology (2001)

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces, Pula, June 19 - 22, 2001

Autor: Kalpić, Damir
Impresum 2001

Vol. 1.

Impresum 2001

Vol. 2.

Impresum 2004

ITI 2002 : proceedings of the 24th International Conference on Information Technology Interfaces, Cavtat, June 24 - 27, 2002

Impresum 2002