ieee transactions on reliability (7)
computing (4)
acm international conference proceeding series (3)
international journal of critical infrastructure protection (3)
journal of rail transport planning & management (3)
software quality journal (3)
aip conference proceedings (2)
entropy (2)
international journal of applied mathematics & computer science (2)
performance evaluation (2)
resilience assessment & evaluation of computing systems (2)
science of computer programming (2)
2009 fourth international conference on critical infrastructures, critical infrastructures, 2009. cris 2009. fourth international conference on (1)
2011 ieee/ifip 41st international conference on dependable systems & networks (dsn), dependable systems & networks (dsn), 2011 ieee/ifip 41st international conference on (1)
2012 ninth european dependable computing conference (1)
2012 ninth european dependable computing conference, dependable computing conference (edcc), 2012 ninth european (1)
2016 ieee international conference on smart grid communications (smartgridcomm) (1)
2016 ieee international conference on smart grid communications (smartgridcomm), smart grid communications (smartgridcomm), 2016 ieee international conference on (1)
2016 ieee smart energy grid engineering (sege), smart energy grid engineering (sege), 2016 ieee (1)
2016 seventh latin-american symposium on dependable computing (ladc) (1)
2016 seventh latin-american symposium on dependable computing (ladc), dependable computing (ladc), 2016 seventh latin-american symposium on (1)
2018 14th european dependable computing conference (edcc), dependable computing conference (edcc), 2018 14th european, edcc (1)
2019 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2019 ieee international symposium on (1)
2020 ieee 25th pacific rim international symposium on dependable computing (prdc), dependable computing (prdc), 2020 ieee 25th pacific rim international symposium on, prdc (1)
2020 ieee international conference on smart computing (smartcomp), smart computing (smartcomp), 2020 ieee international conference on, smartcomp (1)
2022 ieee 27th pacific rim international symposium on dependable computing (prdc), dependable computing (prdc), 2022 ieee 27th pacific rim international symposium on, prdc (1)
2023 13th international conference on dependable systems, services and technologies (dessert), dependable systems, services and technologies (dessert), 2023 13th international conference on (1)
2023 ieee/acm international conference on automation of software test (ast), automation of software test (ast), 2023 ieee/acm international conference on, ast (1)
application and theory of petri nets and concurrency (1)
architecting dependable systems v (1)
computer safety, reliability & security (9783642336744) (1)
computer safety, reliability & security: safecomp 2014 workshops: ascoms, decsos, devvarts, isse, resa4ci, sassur. florence, italy, september 8-9, 2014. proceedings (1)
computing. archives for scientific computing (1)
critical information infrastructure security (1)
from software engineering to formal methods and tools, and back (1)
green it engineering: concepts, models, complex systems architectures (1)
ieee transactions on mobile computing (1)
information & software technology (1)
information and software technology (1)
international journal of adaptive, resilient & autonomic systems (1)
international journal of adaptive, resilient and autonomic systems (1)
international journal of applied mathematics and computer science (1)
international journal of critical computer-based systems (1)
international journal on critical infrastructure protection (1)
journal of systems & software (1)
journal of systems and software (1)
journal of the brazilian computer society (1)
leveraging applications of formal methods, verification & validation (1)
proceedings of the international conference on wireless information networks and systems, wireless information networks and systems (winsys), 2011 proceedings of the international conference on (1)
sustainable computing: informatics & systems (1)