real-time systems (6)
acta informatica (4)
ieee transactions on computer-aided design of integrated circuits & systems (3)
international journal on software tools for technology transfer (3)
acm transactions on embedded computing systems (2)
real-time systems: the international journal of time-critical computing systems (2)
sae transactions (2)
2008 11th ieee international symposium on object and component-oriented real-time distributed computing (isorc), object oriented real-time distributed computing (isorc), 2008 11th ieee international symposium on (1)
2015 11th european dependable computing conference (edcc) (1)
2015 11th european dependable computing conference (edcc), dependable computing conference (edcc), 2015 eleventh european (1)
acm / sigplan notices (1)
acm sigbed review (1)
automotive software - connected services in mobile networks (1)
computer safety, reliability & security (9783642336744) (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)
correct hardware design & verification methods (1)
design, automation & test in europe conference & exhibition (date), 2017 (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
implementation & application of functional languages (9783540741299) (1)
informatik (1)
languages, compilers & tools for embedded systems (1)
model-driven development of reliable automotive services (1)
proceedings of the acm sigplan 1999 workshop: languages, compilers & tools for embedded systems (1)
proceedings of the conference: design, automation & test in europe (1)
program analysis & compilation, theory & practice (1)
reliability, safety & security of railway systems. modelling, analysis, verification & certification (1)
science of computer programming (1)
second international symposium on leveraging applications of formal methods, verification and validation (isola 2006), leveraging applications of formal methods, verification and validation, 2006. isola 2006. second international symposium on (1)
static analysis (1)
trends in functional programming volume 6 (1)