Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models

Bibliographische Detailangaben

Veröffentlicht in:	FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering
1. Verfasser:	Khamespanah, Ehsan (VerfasserIn)
Weitere Verfasser:	Sirjani, Marjan (VerfasserIn), Khosravi, Ramtin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!