Formal modeling and analysis of complex software
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2020-05-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1319157820303566 |
| _version_ | 1819227421822418944 |
|---|---|
| author | Faiza Belala Ramdane Maamri |
| author_facet | Faiza Belala Ramdane Maamri |
| author_sort | Faiza Belala |
| collection | DOAJ |
| first_indexed | 2024-12-23T10:41:07Z |
| format | Article |
| id | doaj.art-5dcb63a5f095499e84c91d0c05484ac9 |
| institution | Directory Open Access Journal |
| issn | 1319-1578 |
| language | English |
| last_indexed | 2024-12-23T10:41:07Z |
| publishDate | 2020-05-01 |
| publisher | Elsevier |
| record_format | Article |
| series | Journal of King Saud University: Computer and Information Sciences |
| spelling | doaj.art-5dcb63a5f095499e84c91d0c05484ac92022-12-21T17:50:10ZengElsevierJournal of King Saud University: Computer and Information Sciences1319-15782020-05-01324385386Formal modeling and analysis of complex softwareFaiza Belala0Ramdane Maamri1LIRE Laboratory, Constantine 2 University, Abdelhamid Mehri, Ali Mendjeli, BP: 67A, Constantine, AlgeriaLIRE Laboratory, Constantine 2 University, Abdelhamid Mehri, Ali Mendjeli, BP: 67A, Constantine, Algeriahttp://www.sciencedirect.com/science/article/pii/S1319157820303566 |
| spellingShingle | Faiza Belala Ramdane Maamri Formal modeling and analysis of complex software Journal of King Saud University: Computer and Information Sciences |
| title | Formal modeling and analysis of complex software |
| title_full | Formal modeling and analysis of complex software |
| title_fullStr | Formal modeling and analysis of complex software |
| title_full_unstemmed | Formal modeling and analysis of complex software |
| title_short | Formal modeling and analysis of complex software |
| title_sort | formal modeling and analysis of complex software |
| url | http://www.sciencedirect.com/science/article/pii/S1319157820303566 |
| work_keys_str_mv | AT faizabelala formalmodelingandanalysisofcomplexsoftware AT ramdanemaamri formalmodelingandanalysisofcomplexsoftware |