CSP-OZ-DC : a combination of specification techniques for processes, data and time

CSP-OZ-DC : a combination of specification techniques for processes, data and time

Artikkeli

Hoenicke, Jochen ; Olderog, Ernst-Rüdiger

Julkaisussa: Nordic journal of computing 9 (2002) : 4, s. 301-334

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.2.1
acmccs D.2.2
acmccs D.2.4
acmccs F.3.1
acmccs F.4.1

Aiheet/asiasanat

CSP

Object-Z

Duration Calculus

transformational semantics

real-time processes

model-checking

FDR

UPPAAL

Saatavuustiedot

Henkilökuntanäyttö