OXFORD UNIVERSITY COMPUTING LABORATORY

Formal Verification of Embedded Real-Time Systems

Matthias Fruth

info

address

Germany

note

Diplomarbeit

school

TU Dresden

year

2005

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image