Aihe-ehdotuksia
Aihe-ehdotuksia
1
Julkaistu 2013
Sisällysluettelo:
“... Execution Engine -- MoTraS: A Tool for Modal Transition Systems and Their Extensions -- Cunf: A Tool...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... -- Properties of Behavioural Model Merging -- Automatic Translation from Circus to Java -- Quantitative...”Hae kokoteksti
Elektroninen
E-kirja



