![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
International Journal of Critical Computer-Based Systems, Volume 6
Volume 6, Number 1, 2015
- Irene Bicchierai, Giacomo Bucci, Enrico Vicario:
Supporting SW-FMEA through an ontology-based methodology. 1-28 - Pankaj Vyas, R. K. Mittal:
The applications of SFTA and SFMEA approaches during software development process: an analytical review. 29-49 - Tatiana Prosvirnova, Antoine Rauzy:
Automated generation of minimal cut sets from AltaRica 3.0 models. 50-80
Volume 6, Number 2, 2015
- Yasser Oussalah, Nadia Zeghib:
Formal specification of flexible web service composition. 81-99 - Vikash Katta, Christian Raspotnig, Péter Kárpáti, Tor Stålhane:
Investigating fulfilment of traceability requirements in a combined process for safety and security assessments. 100-132 - Muhammad Asim
, Hala M. Mokhtar, Muhammad Zahid Khan
:
An energy efficient management scheme for wireless sensor networks. 133-153 - Andrea Ceccarelli
, Andrea Bondavalli
:
On trustworthy measurements when testing dependable systems: a discussion and experiences. 154-170
Volume 6, Number 3, 2016
- Bhoopesh Singh Bhati
, Chandra Shekhar Rai
:
Intrusion detection systems and techniques: a review. 173-190 - H. Parveen Sultana
, P. Venkata Krishna
:
Two-level medium access control in cyber physical system-based smart wireless networks. 191-203 - Kirsty E. Lever, Kashif Kifayat:
Risk assessment and attack graph generation for collaborative infrastructures: a survey. 204-228 - Howard Chivers:
Control consistency as a management tool: the identification of systematic security control weaknesses in air traffic management. 229-245
Volume 6, Number 4, 2016
- Hichem Debbi
, Aimad Debbi, Mustapha Bourahla:
Debugging of probabilistic systems using structural equation modelling. 250-274 - Florent Peres, Mohamed Ghazel
:
A µ-calculus formulation of the diagnosability of discrete event systems. 275-301 - Miloud Bennama, Thouraya Bouabana-Tebibel:
A CTL-based OCL extension using CPN ML for UML validation. 302-321 - Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui:
A bigraph-based framework for specification and analysis of context-aware systems. 322-342 - Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton:
Hierarchical timed abstract state machines for WCET estimation. 343-363 - Hamza Sahli, Faïza Belala, Chafia Bouanaka
:
Formal verification of cloud systems elasticity. 364-384
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.