A UML-based static verification framework for security

Igor Siveroni, Andrea Zisman, George Spanoudakis

Producción científica: Contribución a una revistaArtículorevisión exhaustiva

23 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'A UML-based static verification framework for security'. En conjunto forman una huella única.

Computer Science