Research output

  1. A new benchmark for distributed real-time systems: some experimental results

    Research output: Scientific - peer-reviewConference contribution

  2. A timed automata semantics for Real-Time UML specifications

    Research output: Scientific - peer-reviewConference contribution

View all (30) »

Activities

  1. NOVa Science Publishers (Publisher)

    Activity: Publication peer-review and editorial workEditorial activity

  2. Parallel and Distributed Computing Practices (Journal)

    Activity: Publication peer-review and editorial workEditorial activity

View all (2) »

ID: 189632