Now showing items 1-3 of 3

  • Korotkova, Nataliia; Benders, Josephus Gerardus; Mikalef, Patrik; Cameron, David (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)
    IT vendors’ promises are likely to meet sound skepticism from prospective clients. If a particular technology is in vogue and seen as a “hype,” clients are under pressure to buy the technology while, at the same time, ...
  • 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. ...
  • Cameron, David; Skogvang, Arnljot; Fekete, Mihaly; Martinsson, Henrik; Strand, Morten; Castro, Marcel; Helle, Kirsten; Gjerver, Anders; Hansen, Christian Mahesh; Johnsen, Kristin Høines (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)
    As a joint initiative, Aker BP, Lundin-Norway, Aker Solutions, TechnipFMC, Aibel and Aize, together with Sirius (the oil and gas research centre at the University of Oslo) have developed and demonstrated a common digital ...