Filter your results
- 5
- 5
- 5
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Delta Modeling and Model Checking of Product Families5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers
hal-01514656v1
|
||
|
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.199-214, ⟨10.1007/978-3-030-89247-0_14⟩
Conference papers
hal-04074508v1
|
||
|
Purpose-Based Policy Enforcement in Actor-Based Systems7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.196-211, ⟨10.1007/978-3-319-68972-2_13⟩
Conference papers
hal-01760856v1
|
||
|
Modeling and Efficient Verification of Broadcasting Actors6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers
hal-01446611v1
|
||
|
Finite Interval-Time Transition System for Real-Time Actors3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Conference papers
hal-03165386v1
|