Continuous action systems as a model for hybrid systems

Continuous action systems as a model for hybrid systems

Artikkeli

Back, Ralph-Johan ; Petre, Luigia ; Porres, Ivan

Julkaisussa: Nordic journal of computing 8 (2001) : 1, s. 2-21

Tallennettuna:

Kieli

englanti

Luokitus

acmccs F.3.1
acmccs F.4.1
acmccs D.2.4

Aiheet/asiasanat

refinement calculus

action systems

hybrid systems

Saatavuustiedot

Henkilökuntanäyttö