Originalspråk | Odefinierat/okänt |
---|---|
Förlag | Turku Centre for Computer Science (TUCS) |
Antal sidor | 28 |
ISBN (tryckt) | 952-12-0408-7 |
Status | Publicerad - 1999 |
MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Timing Analysis of Message Sequence Charts
Li Xuandong, Johan Lilius
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell