Case-based reasoning for safety assessment of critical software (English)
- New search for: Hadj-Mabrouk, Habib
- New search for: Hadj-Mabrouk, Habib
In:
Intelligent Decision Technologies
;
14
, 4
;
463-479
;
2020
- Article (Journal) / Electronic Resource
-
Title:Case-based reasoning for safety assessment of critical software
-
Additional title:Case-based reasoning for safety assessment of critical software
-
Contributors:Hadj-Mabrouk, Habib ( author )
-
Published in:Intelligent Decision Technologies ; 14, 4 ; 463-479
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2020-12-11
-
Size:17 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 14, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 437
-
Special collection of regular papers on ‘Current intelligent techniques in software applications and systems’Sakkopoulos, Evangelos et al. | 2020
- 441
-
Optimization of software cost estimation model based on biogeography-based optimization algorithmUllah, Aman / Wang, Bin / Sheng, Jinfang / Long, Jun / Asim, Muhammad / Sun, Zejun et al. | 2020
- 449
-
ARAZ: A software modules clustering method using the combination of particle swarm optimization and genetic algorithmsArasteh, Bahman / Sadegi, Razieh / Arasteh, Keyvan et al. | 2020
- 463
-
Case-based reasoning for safety assessment of critical softwareHadj-Mabrouk, Habib et al. | 2020
- 481
-
Clustering electricity market participants via FRM modelsGülcü, Ayla / Çalişkan, Sedrettin et al. | 2020
- 493
-
An efficiency improvement of flexible flow shop scheduling in automotive part companyFangrit, Waraporn / Yap, Hwa Jen / Hamza, Mukhtar Fatihu / Chang, Siow-Wee / Yap, Keem Siah / Wong, Shen Yuong et al. | 2020
- 507
-
Clustering of bank customers based on lifetime value using data mining methodsHasheminejad, Seyed Mohammad Hossein / Khorrami, Mojgan et al. | 2020
- 517
-
Anatomization of the systems of dimension relaxation for facial recognitionRaha, Mayamin Hamid / Deb, Tonmoay / Rahmun, Mahieyin / Chen, Tim et al. | 2020
- 529
-
Machine learning aided switching scheme for hybrid FSO/RF transmissionKiran, Kappala Vinod / Perinbaraj, Subhanesh / Pradhan, Jayashree / Mallick, Pradeep Kumar / Turuk, Ashok Kumar / Das, Santos Kumar et al. | 2020
- 537
-
Modified reinforcement learning based- caching system for mobile edge computingMehamel, Sarra / Bouzefrane, Samia / Banarjee, Soumya / Daoui, Mehammed / Balas, Valentina E. et al. | 2020
- 553
-
Design of search and rescue system using autonomous Multi-UAVsChoutri, Kheireddine / Mohand, Lagha / Dala, Laurent et al. | 2020
- 565
-
A new approach based on graph matching and evolutionary approach for sport scheduling problemKhelifa, Meriem / Boughaci, Dalila / Aïmeur, Esma et al. | 2020
- 581
-
Improved machine learning classifiers combined with a stochastic local search for Web services classificationLaachemi, Abdelouahab / Boughaci, Dalila et al. | 2020