Center of Academic Publications


Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification

www.univ-soukahras.dz/en/publication/article/165

Mokdad Arous and Djamel-Eddine Saïdouni (2013) Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence , (Volume 488), 367–377, Springer International Publishing Switzerland

Download Article