Travelled to:
2 × France
Collaborated with:
J.Bodeveix M.Filali Z.Yang K.Hu D.Ma
Talks about:
aadl (2) communic (1) behavior (1) toward (1) semant (1) formal (1) model (1) annex (1) data (1) bip (1)
Person: Lei Pi
DBLP: Pi:Lei
Contributed to:
Wrote 2 papers:
- AdaEurope-2009-PiBF #communication #modelling
- Modeling AADL Data Communication with BIP (LP, JPB, MF), pp. 192–206.
- DATE-2009-YangHMP #behaviour #semantics #towards
- Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.