Model-based execution monitoring
By: Marcus Bjäreland
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -- no. 688
Publisher: Dept. of Computer and Information Science, Linköpings universitet
Published: 2001
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 152
Subjects: Computer programs; Correctness; Simulation methods
Notes: Thesis (doctoral)--Linköpings universitet, 2001.