Guided synthesis of control programs using uppaal

Guided synthesis of control programs using uppaal

Artikkeli

Hune, Thomas ; Larsen, Kim G. ; 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/asiasanat

real-time verification

guided model-checking

scheduling

program synthesis

distributed systems

Saatavuustiedot

Henkilökuntanäyttö