Mohammad Reza Mousavi · 6 obras en el catálogoObrasModeling and Analysis of Communicating SystemsFormal Methods : Foundations and ApplicationsTopics in Theoretical Computer ScienceCyber Physical Systems. Design, Modeling, and EvaluationFFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and SystemsRRebeca for Actor Analysis in ActionRebeca for Actor Analysis in Action
FFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems
