Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins by Hallé, Sylvain, Soueidi, Chukri, Falcone, Yliès, Kamburjan, Eduard, Klungre, Vidar, Tapia Tarifa, Silvia Lizeth, Schlatte, Rudolf, Giese, Martin, Cameron, David, Johnsen, Einar Broch, Schiff, Jonas, Weigl, Alexander, Leucker, Martin, Sachenbacher, Martin, Vosteen, Lars Bernd, Thoma, Daniel, Ali, Aliyu Tanko, Pferscher, Andrea, Wunderling, Benjamin, Aichernig, Bernhard K, Muskardin, Edi

Request full text