MPG.eBooks - Search Results - "Engineering"

Cover Image

21

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Octobe...

Published 2014

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

22

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

23

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...

Published 2016

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

24

Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

Published 2024

Springer Nature Switzerland

Subjects: “...Computer Engineering and Networks...”

Cover Image

25

Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

26

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria...

Published 2012

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

27

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

28

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

29

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Pro...

Published 2022

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

30

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part...

Published 2022

Springer Nature Switzerland

Subjects: “...Software engineering...”

1
2