Travelled to:1 × Greece
1 × Italy
Collaborated with:M.J.Butler C.F.Snook A.Rezazadeh
Talks about:decomposit (1) systemat (1) approach (1) process (1) system (1) integr (1) model (1) manag (1) event (1) appli (1)
Person: Asieh Salehi Fathabadi
DBLP: Fathabadi:Asieh_Salehi
Contributed to:
2014
2012Wrote 2 papers:
- IFM-2014-FathabadiSB #manycore #modelling #process #runtime
- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
- SEFM-2012-FathabadiBR #approach #composition
- A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.