Research output

  1. Transformation of UML specification to XTG

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  2. ACL: an approach to formal verification of real time systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Application of parametric model checking-the root contention protocol

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (8) »

ID: 322322