journal of high speed networks (3)
reliability engineering & system safety (3)
expert systems with applications (2)
procedia computer science (2)
reliability engineering and system safety (2)
2014 ninth international conference on p2p, parallel, grid, cloud & internet computing (1)
2014 ninth international conference on p2p, parallel, grid, cloud and internet computing, p2p, parallel, grid, cloud and internet computing (3pgcic), 2014 ninth international conference on (1)
2015 10th international conference on p2p, parallel, grid, cloud & internet computing (3pgcic) (1)
2017 european conference on electrical engineering and computer science (eecs), electrical engineering and computer science (eecs), 2017 european conference on, eecs (1)
computer safety, reliability & security: 33rd international conference, safecomp 2014, florence, italy, september 10-12, 2014. proceedings (1)
computer safety, reliability & security: safecomp 2014 workshops: ascoms, decsos, devvarts, isse, resa4ci, sassur. florence, italy, september 8-9, 2014. proceedings (1)
formal methods for industrial critical systems: 19th international conference, fmics 2014, florence, italy, september 11-12, 2014. proceedings (1)
formal techniques for safety-critical systems third international workshop, ftscs 2014, luxembourg, november 6-7, 2014. revised selected papers (1)
formal techniques for safety-critical systems: 4th international workshop, ftscs 2015, paris, france, november 6-7, 2015. revised selected papers (1)
future generation computer systems (1)
future generation computer systems-the international journal of escience (1)
international journal of critical computer-based systems (1)
international journal of grid and utility computing (1)
journal of ambient intelligence & smart environments (1)
journal of ambient intelligence and smart environments (1)
journal of systems & software (1)
journal of systems and software (1)
model checking software (1)