Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)
469 Downloads (Pure)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6286
Sider (fra-til)290-310
ISSN0302-9743
DOI
StatusUdgivet - 2010

Citationsformater