
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
8 contributors - Paperback
£44.99
John Fitzgerald is Professor of Computing and Dean for Strategic Projects in Science, Agriculture and Engineering at Newcastle University, UK. Peter Gorm Larsen heads the multi-departmental Aarhus University Center for Digitalisation (DIGIT) and the Aarhus University Center for Digital Twins. They have been working together on model-based and formal methods for software and systems engineering since the early 1990s. They have led major international projects in industry and academia expanding the capabilities of methods and tools to support the multi-stakeholder engineering of challenging classes of products including systems of systems and cyber-physical systems. Cláudio Gomes is Assistant Professor with the Department of Electrical and Computer Engineering at Aarhus University. Since 2016 he has collaborated with Peter, together they have published multiple papers together, with a focus on bringing recent digital twin advances to multiple domains.