Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
hal_authIdPerson_i : 999386
Page :
sorted by

Topics in Theoretical Computer Science

 Mohammad Reza Mousavi , Jiří Sgall
Springer International Publishing, LNCS-10608, 2017, Lecture Notes in Computer Science, 978-3-319-68952-4. ⟨10.1007/978-3-319-68953-1⟩
Books hal-01760635v1
Image document

A Pre-congruence Format for XY-simulation

 Harsh Beohar , Mohammad Reza Mousavi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.215-229, ⟨10.1007/978-3-319-24644-4_15⟩
Conference papers hal-01446602v1
Image document

Gray-Box Conformance Testing for Symbolic Reactive State Machines

 Masoumeh Taromirad , Mohammad Reza Mousavi
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.228-243, ⟨10.1007/978-3-319-68972-2_15⟩
Conference papers hal-01760861v1

Topics in Theoretical Computer Science

 Mohammed Taghi Hajiaghayi , Mohammad Reza Mousavi
Springer, LNCS-9541, 2016, Topics in Theoretical Computer Science, 978-3-319-28677-8. ⟨10.1007/978-3-319-28678-5⟩
Books hal-01446268v1
Page :