Opin vísindi

Browsing Doktorsritgerðir - HR by Subject "Hugbúnaður"

Browsing Doktorsritgerðir - HR by Subject "Hugbúnaður"

Sort by: Order: Results:

  • Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...