formal methods for industrial critical systems (9781118459898) (8)
journal of logical and algebraic methods in programming (6)
science of computer programming (6)
acm international conference proceeding series (4)
formal methods in system design (4)
ieee software (4)
international journal on software tools for technology transfer (4)
formal aspects of computing (3)
ieee micro (3)
telecommunication systems (3)
computer systems science & engineering (2)
electronic notes in theoretical computer science (2)
empirical software engineering (2)
entcs: electronic notes in theoretical computer science (2)
formal aspects of computing: applicable formal methods (2)
formal methods in system design: an international journal (2)
ieee transactions on human-machine systems (2)
information processing letters (2)
ingegneria ferroviaria (2)
journal of integrated design & process science (2)
journal of logic and algebraic programming (2)
17th international ieee conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2014 ieee 17th international conference on (1)
2008 12th international software product line conference, software product line conference, 2008. splc '08. 12th international (1)
2010 third international conference on software testing, verification and validation, software testing, verification and validation (icst), 2010 third international conference on (1)
2011 15th international software product line conference, software product line conference (splc), 2011 15th international (1)
2011 ieee 34th software engineering workshop, software engineering workshop (sew), 2011 34th ieee (1)
2012 eighth international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2012 eighth international conference on the (1)
2014 9th international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2014 9th international conference on the (1)
2017 25th euromicro international conference on parallel, distributed and network-based processing (pdp), parallel, distributed and network-based processing (pdp), 2017 25th euromicro international conference on, pdp (1)
2018 ieee 26th international requirements engineering conference (re), requirements engineering conference (re), 2018 ieee 26th international, re (1)
2019 ieee 5th international forum on research and technology for society and industry (rtsi), research and technology for society and industry (rtsi), 2019 ieee 5th international forum on (1)
2020 ieee/acm 42nd international conference on software engineering (icse), software engineering (icse), 2020 ieee/acm 42nd international conference on, icse (1)
2022 6th international conference on system reliability and safety (icsrs), system reliability and safety (icsrs), 2022 6th international conference on (1)
2022 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2022 ieee international symposium on, issrew (1)
2023 ieee 31st international requirements engineering conference (re), requirements engineering conference (re), 2023 ieee 31st international, re (1)
annales des telecommunications (1)
computer standards & interfaces (1)
concur '96: concurrency theory (pisa) (1)
empirical software engineering: an international journal (1)
from software engineering to formal methods and tools, and back (1)
ieee software, software, ieee, ieee softw. (1)
innovations in systems and software engineering: a nasa journal (1)
international journal of business information systems (1)
international journal of embedded & real-time communication systems (ijertcs) (1)
journal of systems & software (1)
logic, computation and rigorous methods---essays dedicated to egon borger on the occasion of his 75th birthday (1)
mathematical foundations of computer science 1993 (gdansk, 1993) (1)
mathematical models for the semantics of parallelism (rome, 1986) (1)
proceedings of the first nasa formal methods symposium (1)
second international conference on future generation communication technologies (fgct 2013), future generation communication technology (fgct), 2013 second international conference on (1)