Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

K. Kristoffersen; Kim Guldstrand Larsen; P. Pettersson; C. Weise

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

K. Kristoffersen, Kim Guldstrand Larsen, P. Pettersson, C. Weise

Department of Computer Science

Research output: Book/Report › Book › Research

Original language	English

Publication status	Published - 1999

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@book{acd165e0003211dab4d5000ea68e967b,

title = "Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL",

author = "K. Kristoffersen and Larsen, {Kim Guldstrand} and P. Pettersson and C. Weise",

note = "Deliverable of ESPRIT-LTR Project 26270 VHS (Verification of Hybrid Systems) Deliverable of ESPRIT-LTR Project 26270 VHS (Verification of Hybrid Systems)",

year = "1999",

language = "English",

}

TY - BOOK

T1 - Experimental Batch Plant

T2 - VHS Case Study 1 using Timed Automata and UPPAAL

AU - Kristoffersen, K.

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

AU - Weise, C.

N1 - Deliverable of ESPRIT-LTR Project 26270 VHS (Verification of Hybrid Systems) Deliverable of ESPRIT-LTR Project 26270 VHS (Verification of Hybrid Systems)

PY - 1999

Y1 - 1999

M3 - Book

BT - Experimental Batch Plant

ER -