Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Journal article (2)

Safe Design of Flow Management Systems Using Rebeca (Sep 2020)
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani
Journal of Information Processing (IPSJ)

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020)
Farnaz Yousefi , Ehsan Khamespanah , Mohammed Gharib , Marjan Sirjani, Ali Movaghar
International Journal on Software Tools for Technology Transfer (STTT)

Items per page: