Ciencias da Computación e Tecnoloxías da Información
Departamento
University Ferhat Abbas of Setif
Sétif, ArgeliaPublicacións en colaboración con investigadores/as de University Ferhat Abbas of Setif (1)
2021
-
Towards a hybrid formal analysis technique for safety-critical software architectures
International Journal of Critical Computer-Based Systems, Vol. 10, Núm. 2, pp. 95-119