Originalspråk | Odefinierat/okänt |
---|---|
Förlag | Turku Centre for Computer Science |
Antal sidor | 20 |
ISBN (tryckt) | 952-12-0703-5 |
Status | Publicerad - 2000 |
MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency
Li Xuandong, Johan Lilius
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
8
Citeringar
(Scopus)