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
View/ Open
Year
2023CRIStin
2131222Is part of
Research reportEditor
Kamburjan, Eduard; Hallerstede, StefanMetadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4930]
- CRIStin høstingsarkiv [31257]