Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. [elektronicky zdroj]

Autor: Tapia Tarifa, Silvia Lizeth

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles

Autor: Rezende Silva, Gustavo, Pässler, Juliane Linda, Zwanepol, Jeroen, Alberts, Elvin, Tapia Tarifa, Silvia Lizeth, Gerostathopoulos, Ilias, Johnsen, Einar Broch, Hernández Corbato, Carlos

Publikováno v: Rezende Silva, Gustavo Pässler, Juliane Linda Zwanepol, Jeroen Alberts, Elvin Tapia Tarifa, Silvia Lizeth Gerostathopoulos, Ilias Johnsen, Einar Broch Hernández Corbato, Carlos . SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS '23: Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 2023, 181-187 IEEE (Institute of Electrical and Electronics Engineers)

Externí odkaz: http://hdl.handle.net/10852/108234

Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins

Autor: 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

Externí odkaz: http://hdl.handle.net/10852/101662

Smart Journey Mining for Improved Service Quality

Autor: Halvorsrud, Ragnhild, Mannhardt, Felix, Johnsen, Einar Broch, Tapia Tarifa, Silvia Lizeth

Publikováno v: Halvorsrud, Ragnhild Mannhardt, Felix Johnsen, Einar Broch Tapia Tarifa, Silvia Lizeth . Smart Jo

Externí odkaz: http://hdl.handle.net/10852/93903
https://www.duo.uio.no/bitstream/handle/10852/93903/1/Halvorsrud_2021_Smart_journey_mining_AAM.pdf

Simulating User Journeys with Active Objects

Autor: Kobialka, Paul, Schlatte, Rudolf, Bergersen, Gunnar R., Johnsen, Einar Broch, Tapia Tarifa, Silvia Lizeth

Publikováno v: Kobialka, Paul Schlatte, Rudolf Bergersen, Gunnar R. Johnsen, Einar Broch Tapia Tarifa, Silvia Lizeth . Simulating User Jo
Lecture Notes in Computer Science (LNCS)

Externí odkaz: http://hdl.handle.net/10852/108233