 |
|
|
||
|---|---|---|
| hal-00914367v1
Communication dans un congrès
Model Federation in toolchains MODELS 2013, Sep 2013, Miami, United States |
||
| hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
| hal-01756186v1
Communication dans un congrès
Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩ |
||
| hal-01933792v1
Communication dans un congrès
A Problem-Oriented Approach to Critical System Design and Diagnosis Support 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco |
||
| hal-01559688v1
Communication dans un congrès
A Diagnosis Framework for Critical Systems Verification 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6 |
||
| hal-01406604v1
Communication dans un congrès
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
| hal-01933794v1
Communication dans un congrès
Domain-oriented Verification Management 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39 |
||
| hal-01698582v1
Communication dans un congrès
Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506 |
||
| hal-01472914v1
Communication dans un congrès
Towards Tool Integration through Artifacts and Roles Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩ |
||
|
|
||