Verifikation parametrisierter Netzwerke durch Abstraktion

von Kyas, Marcel
Veröffentlicht 2000

Verifying OCL specifications of UML models : tool support and compositionality

von Kyas, Marcel
Veröffentlicht 2006

Verifying OCL specifications of UML models : tool support and compositionakity ; proefschrift

von Kyas, Marcel
Veröffentlicht 2006

Assessing the Performance of Agile Teams

von Larusdottir, Marta Kristin
Veröffentlicht in INTERACT (17. : 2019 : Paphos) Beyond interactions (2020)

Semantic issues in UML 2.0 state machines

von Fecher, Harald
Veröffentlicht 2005

Data analysis in the shipping industry : eship case study - problem statement

von Kyas, Marcel
Veröffentlicht in Handbook of research on applied data science and artificial intelligence in business and industry ; Volume 2 (2021)

Secure IT systems : 27th Nordic Conference, NordSec 2022, Reykjavic, Iceland, November 30–December 2, 2022 : proceedings

Veröffentlicht 2022