Guided synthesis of control programs using uppaal

Guided synthesis of control programs using uppaal

Artikel

;

;

Pettersson, Paul

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

Sparad:

Språk

engelska

Klassifikation

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

Ämnen

real-time verification

guided model-checking

program synthesis

distributed systems

Beståndsuppgifter

Kommentarer (0)

Katalogiseringsuppgifter