Browse wiki

From CERES
Jump to: navigation, search
Marjan Sirjani
  This page has no properties.
hide properties that link here 
Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:Application of process algebraic verification and reduction techniques to SystemC designs + , Publications:Formal analysis of systemc designs in process algebra + , Publications:Formal modeling of evolving self-adaptive systems + , Publications:Symmetry and partial order reduction techniques in model checking Rebeca + Author
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Marjan-20Sirjani"