Browsing by Author "Wunderling, Benjamin"

Now showing items 1-1 of 1

  • Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins 
    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 (Research report / Forskningsrapport, 2023)
    This technical reports contains the papers of the Workshop on Ap- plications of Formal Methods and Digital Twins, which is held 06.03.23 in Lübeck, Germany, co-located with the 25th International Symposium on Formal Methods. ...