Mohammad Reza Mousavi (Centre for Research on Embedded Systems

Identifiers

No identifiers captured yet.

Papers (2)

1. Towards an Approximate Conformance Relation for Hybrid I/O Automata cs.LO · 2016 · author #3
2. (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