Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins von 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

Volltext bestellen