Research output

  1. Transformation of UML specification to XTG

    Research output: ScientificConference contribution

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

    Research output: Scientific - peer-reviewConference contribution

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

    Research output: Scientific - peer-reviewConference contribution

View all (8) »

ID: 322322