Showing 1 - 4 results of 4 for search 'Marjan Sirjani', query time: 0.03s Refine Results
  1. 1
    Verification of Cyberphysical Systems

    Verification of Cyberphysical Systems by Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah

    Published 2020-07-01
    Get full text
    Article
  2. 2
    Specification and Verification of Timing Properties in Interoperable Medical Systems

    Specification and Verification of Timing Properties in Interoperable Medical Systems by Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff

    Published 2022-06-01
    Get full text
    Article
  3. 3
    Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

    Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems by Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand

    Published 2021-05-01
    Get full text
    Article
  4. 4
    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani

    Published 2011-07-01
    Get full text
    Article

Search Tools: