Travelled to:
1 × Switzerland
Collaborated with:
N.Khakpour R.Khosravi M.Sirjani
Talks about:
analysi (1) system (1) polici (1) formal (1) adapt (1) self (1) base (1)
Person: Saeed Jalili
DBLP: Jalili:Saeed
Contributed to:
Wrote 1 papers:
- SAC-2010-KhakpourKSJ #adaptation #analysis #formal method #self
- Formal analysis of policy-based self-adaptive systems (NK, RK, MS, SJ), pp. 2536–2543.