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
المنشورات العلمية
هام: هذه الصفحة مجمدة. الوثائق الحديثة متوفرة الآن في المستودع الرقمي DSpace
ملخص المقال
معلومات
| Item Type | Journal |
|---|---|
| Divisions | |
| ePrint ID | 165 |
| Date Deposited | 2014-12-08 |
| Further Information | Google Scholar |
| URI | https://univ-soukahras.dz/ar/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}
}