Extending information delivery specification for linking distributed model checking services

Kremer, Noemi Christine; Beetz, Jakob

doi:978-0-7017-0273-1

Extending information delivery specification for linking distributed model checking services

Kremer, Noemi Christine^RWTH* ; Beetz, Jakob^RWTH*

In
Proceedings of 2023 European Conference on Computing in Construction & 40th International CIB W78 Conference on Information Technology for Construction : July 10-12, 2023, Heraklion, Crete, Greece / edited by Prof. Mohamad Kassem, Newcastle University (UK); Assoc. Prof. Lavinia Chiara Tagliabue, University of Turin (IT); Prof. Robert Amor, University of Auckland (NZ); Dr. Marijana Sreckovic, TU Wien (AT); Dr. Athanasios Chassiakos, University of Patras (GR) ; organizer: European Council for Research and Innovation in Building and Construction, CIB W78, Seiten/Artikel-Nr: 949-956

2023

Konferenz/Event:40. International Conference of CIB W78 , Heraklion , Greece , 2023-07-10 - 2023-07-12

ImpressumNewcastle, UK : Newcastle University

Umfang949-956

ISBN978-0-7017-0273-1, 978-07-0170-273-1