Downtime warning: for Wednesday 6 July: DTU Findit, DTU Orbit and other services may be temporarily unavailable.
About

Log in?

DTU users get better search results with free access to licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Timing Constraints Validation Using Uppaal. Architecture and Design of Distributed Embedded Systems

(translated: IFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000)

Publisher: Kluwer Academic Publishers
Year: 2000
Pages: 161-171

DTU users get better search results with free access to licensed content and discounts on order fees.

Log in as DTU user

Access