default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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
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.
last updated on 2024-11-08 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
