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
Publications Scientifiques
Important: Cette page est gelée. Les nouveaux documents sont maintenant dans le dépôt numérique DSpace
Résumé
Information
| Item Type | Journal |
|---|---|
| Divisions | |
| ePrint ID | 165 |
| Date Deposited | 2014-12-08 |
| Further Information | Google Scholar |
| URI | https://univ-soukahras.dz/fr/publication/article/165 |
BibTex
@article{uniusa165,
title={Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification},
author={Mokdad Arous and Djamel-Eddine Saïdouni},
journal={Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence}
year={2013},
volume={},
number={Volume 488},
pages={367–377},
publisher={Springer International Publishing Switzerland}
}
title={Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification},
author={Mokdad Arous and Djamel-Eddine Saïdouni},
journal={Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence}
year={2013},
volume={},
number={Volume 488},
pages={367–377},
publisher={Springer International Publishing Switzerland}
}