Travelled to:
1 × Italy
1 × Switzerland
Collaborated with:
E.Najm B.Zalila J.Hugues L.Pautet
Talks about:
architectur (1) ravenscar (1) distribut (1) descript (1) generat (1) semant (1) integr (1) applic (1) oper (1) high (1)
Person: Irfan Hamid
DBLP: Hamid:Irfan
Contributed to:
Wrote 2 papers:
- AdaEurope-2008-HamidN #ada #semantics
- Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
- AdaEurope-2007-ZalilaHHP #architecture #distributed #generative
- Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.