acm sigsoft software engineering notes (3)
leveraging applications of formal methods, verification & validation (9783642165573) (3)
2018 21st international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2018 21st international conference on (2)
2019 ieee international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2019 ieee international conference on (2)
software & systems modeling (2)
2009 fourth international conference on software engineering advances, software engineering advances, 2009. icsea '09. fourth international conference on (1)
2009 icse workshop on model-based methodologies for pervasive and embedded software, model-based methodologies for pervasive and embedded software, 2009. mompes '09. icse workshop on (1)
2014 international conference on connected vehicles and expo (iccve), connected vehicles and expo (iccve), 2014 international conference on (1)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (1)
2015 acm/ieee international conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee international conference on (1)
2015 international conference on estimation, detection & information fusion (icedif) (1)
2016 acm/ieee international conference on formal methods & models for system design (memocode) (1)
2016 acm/ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2016 acm/ieee international conference on (1)
2016 ieee 24th international requirements engineering conference workshops (rew), requirements engineering conference workshops (rew), ieee international, rew (1)
2017 22nd ieee international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2017 22nd ieee international conference on (1)
2017 ieee 18th international symposium on high assurance systems engineering (hase), high assurance systems engineering (hase), 2017 ieee 18th international symposium on, hase (1)
2017 ieee international conference on software architecture (icsa), software architecture (icsa), 2017 ieee international conference on, icsa (1)
2018 ieee international conference on software architecture (icsa), software architecture (icsa), 2018 ieee international conference on, icsa (1)
2019 26th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2019 26th asia-pacific (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
2019 ieee intelligent transportation systems conference (itsc), intelligent transportation systems conference (itsc), 2019 ieee (1)
2019 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2019 ieee (1)
2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on (1)
2020 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2020 ieee (1)
2020 ieee international conference on software architecture (icsa), software architecture (icsa), 2020 ieee international conference on, icsa (1)
2021 ieee 18th international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2021 ieee 18th international conference on, icsa-c (1)
2022 ieee 25th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2022 ieee 25th international conference on (1)
2023 ieee 20th international conference on software architecture companion (icsa-c), software architecture companion (icsa-c), 2023 ieee 20th international conference on, icsa-c (1)
2023 ieee 26th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2023 ieee 26th international conference on (1)
2023 ieee 31st international requirements engineering conference (re), requirements engineering conference (re), 2023 ieee 31st international, re (1)
fundamental approaches to software engineering: 14th international conference, fase 2011, held as part of the joint european conferences on theory & practice of software, etaps 2011, saarbrucken, germany, march 26-april 3, 2011. proceedings (1)
information & software technology (1)
information and software technology (1)
nasa formal methods (1)
proceedings of the 7th international workshop: software & performance (1)
software and systems modeling (1)
software engineering & formal methods (1)
workshop on software & performance (1)