Publikationen, an denen er mitarbeitet M. E. C. P. (3)

2012

  1. WST: A tool supporting timed composite Web Services Model transformation

    SIMULATION, Vol. 88, Núm. 3, pp. 349-364

2009

  1. Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK

    Telecommunication Systems

2007

  1. Model checking wireless sensor network security protocols: TinySec + LEAP

    IFIP International Federation for Information Processing