Filter your results
- 3
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
4 results
|
|
sorted by
|
|
A Pre-congruence Format for XY-simulation6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.215-229, ⟨10.1007/978-3-319-24644-4_15⟩
Conference papers
hal-01446602v1
|
||
|
Topics in Theoretical Computer ScienceSpringer, LNCS-9541, 2016, Topics in Theoretical Computer Science, 978-3-319-28677-8. ⟨10.1007/978-3-319-28678-5⟩
Books
hal-01446268v1
|
||
|
Gray-Box Conformance Testing for Symbolic Reactive State Machines7th 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
|
||
|
Digital Forensic Atomic Force Microscopy of Semiconductor Memory Arrays15th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2019, Orlando, FL, United States. pp.219-237, ⟨10.1007/978-3-030-28752-8_12⟩
Conference papers
hal-02534609v1
|