Guided synthesis of control programs using uppaal

Guided synthesis of control programs using uppaal

Artikkeli

;

;

Pettersson, Paul

Julkaisussa: Nordic journal of computing 8 (2001) : 1, s. 43-64

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.1.2
acmccs D.2.2
acmccs D.2.4
acmccs F.3.1
acmccs I.6.4
acmccs J.6

Aiheet

real-time verification

guided model-checking

program synthesis

distributed systems

Saatavuustiedot

Henkilökuntanäyttö