Travelled to:1 × Singapore
1 × USA
Collaborated with:H.Zhu X.Mao Z.Chang J.Wang Y.Wang N.Fu X.Zhou L.Zhao L.Wan L.Qiao J.Chen
Talks about:model (2) constraint (1) casteship (1) specifi (1) softwar (1) languag (1) control (1) consist (1) uppaal (1) mechan (1)
Person: Lijun Shan
DBLP: Shan:Lijun
Contributed to:
2014
2006Wrote 3 papers:
- FM-2014-ShanWFZZWQC #using #verification
- Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
- SEKE-2006-MaoCSZW #adaptation #design #modelling
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.
- SEKE-2006-ShanZ #consistency #constraints #modelling #specification
- Specifying Consistency Constraints for Modelling Languages (LS, HZ), pp. 578–583.