Mohammad Reza Mousavi (Centre for Research on Embedded Systems
Identifiers
No identifiers captured yet.
Papers (2)
- Towards an Approximate Conformance Relation for Hybrid I/O Automata cs.LO · 2016 · author #3
- (De-)Composing Causality in Labeled Transition Systems cs.LO · 2016 · author #9
Mentions
No mention provenance yet.
Frequent Coauthors
- Halmstad University 2 shared papers
- Sweden) 2 shared papers
- Georgiana Caltais (Department for Computer 1 shared papers
- Germany) 1 shared papers
- Information Science 1 shared papers
- Morteza Mohaqeqi (Department of Information Technology Uppsala University 1 shared papers
- School of IT 1 shared papers
- Stefan Leue (Department for Computer 1 shared papers
- University of Konstanz 1 shared papers