Ausgabe 1/2024
Special Issue:14th and 15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020/21)
Inhalt (7 Artikel)
S.I. : VECoS 2021
Model-based design of resilient systems using quantitative risk assessment
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Open Access
S.I. : VECoS 2021
Coverage visualization and analysis of net inscriptions in coloured Petri net models
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Open Access
S.I. : VECoS 2021
Contract-based specification of mode-dependent timing behavior
Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Original Article
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
Saeedeh Ghaedi Heidari, Shohreh Ajoudanian
Original Article
Automatic use case classification based on topic grouping for requirements engineering
Shahrokh Vahabi, Amir Hozhabri