Publicacións en colaboración con investigadores/as de University Ferhat Abbas of Setif (1)

2021

  1. 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