Travelled to:1 × Portugal
Collaborated with:J.Pang T.Chothia S.Blom J.R.Calame B.Lisser S.Orzan J.v.d.Pol A.Wijs
Talks about:compendium (1) distribut (1) resourc (1) analysi (1) secret (1) compon (1) studi (1) keep (1) case (1) awar (1)
Person: Muhammad Torabi Dashti
DBLP: Dashti:Muhammad_Torabi
Contributed to:
2007
2007Wrote 2 papers:
- QAPL-2007-ChothiaPD #component
- Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.
- TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
- Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.