Login / Signup

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

Ehsan KhamespanahMarjan SirjaniRamtin Khosravi
Published in: FSEN (2023)
Keyphrases