modelling systems (22)
validated designs for object-oriented systems (14)
acm computing surveys (9)
formal aspects of computing (8)
international journal on software tools for technology transfer (7)
european journal of engineering education (5)
formal aspects of computing: applicable formal methods (4)
ieee software (3)
ieee transactions on software engineering (3)
journal of logical and algebraic methods in programming (3)
procedia cirp (3)
2012 7th international conference on system of systems engineering (sose), system of systems engineering (sose), 2012 7th international conference on (2)
2014 9th international conference on system of systems engineering (sose), system of systems engineering (sose), 2014 9th international conference on (2)
2015 ieee/acm 3rd fme workshop on formal methods in software engineering, formal methods in software engineering (formalise), 2015 ieee/acm 3rd fme workshop on (2)
2021 annual modeling and simulation conference (annsim), modeling and simulation conference (annsim), 2021 annual (2)
2022 ieee international conference on autonomic computing and self-organizing systems companion (acsos-c), autonomic computing and self-organizing systems companion (acsos-c), 2022 ieee international conference on, acsos-c (2)
2022 ieee/sice international symposium on system integration (sii), system integration (sii), 2022 ieee/sice international symposium on (2)
applied formal methods-fm-trends 98 (2)
control strategy for time-delay systems (2)
fm 2016: formal methods (2)
industrial deployment of system engineering methods (2)
journal of manufacturing systems (2)
multi-paradigm modelling approaches for cyber-physical systems (2)
software & systems modeling (2)
10th ieee high assurance systems engineering symposium (hase'07), high assurance systems engineering symposium, 2007. hase '07. 10th ieee (1)
2010 8th ieee international conference on software engineering and formal methods, software engineering and formal methods (sefm), 2010 8th ieee international conference on (1)
2014 2nd international conference on model-driven engineering and software development (modelsward), model-driven engineering and software development (modelsward), 2014 2nd international conference on (1)
2014 ieee 23rd international wetice conference, wetice conference (wetice), 2014 ieee 23rd international (1)
2014 ieee international systems conference proceedings, systems conference (syscon), 2014 8th annual ieee (1)
2016 2nd international workshop on modelling, analysis, and control of complex cps (cps data), modelling, analysis, and control of complex cps (cps data), 2016 2nd international workshop on (1)
2021 5th international conference on system reliability and safety (icsrs), system reliability and safety (icsrs), 2021 5th international conference on (1)
2021 acm/ieee international conference on model driven engineering languages and systems companion (models-c), model driven engineering languages and systems companion (models-c), 2021 acm/ieee international conference on, models-c (1)
2021 ieee 45th annual computers, software, and applications conference (compsac), annual computers, software, and applications conference (compsac), 2021 ieee 45th, compsac (1)
2022 10th international conference on control, mechatronics and automation (iccma), control, mechatronics and automation (iccma), 2022 10th international conference on (1)
2022 annual modeling and simulation conference (annsim), modeling and simulation conference (annsim), 2022 annual (1)
2022 ieee 20th international conference on industrial informatics (indin) (1)
2022 ieee 20th international conference on industrial informatics (indin), industrial informatics (indin), 2022 ieee 20th international conference on (1)
2023 27th international conference on methods and models in automation and robotics (mmar), methods and models in automation and robotics (mmar), 2023 27th international conference on (1)
2023 annual modeling and simulation conference (annsim), modeling and simulation conference (annsim), 2023 annual (1)
2023 ieee 32nd international symposium on industrial electronics (isie), industrial electronics (isie), 2023 ieee 32nd international symposium on (1)
2023 ieee smart world congress (swc), smart world congress (swc), 2023 ieee (1)
2023 international conference on control, automation and diagnosis (iccad), control, automation and diagnosis (iccad), 2023 international conference on (1)
2024 ieee international conference on industrial technology (icit), industrial technology (icit), 2024 ieee international conference on (1)
array (1)
complex systems design & management : proceedings of the fourth international conference on complex systems design & management csd&m 2013 (1)
computer standards & interfaces (1)
future generation computer systems (1)
international journal of embedded systems (1)
journal of systems & software (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)