Internal report (Reports)
A formal approach for engineering resilient car crash management system
KHAN, Yasir Imtiaz
2012
 

Files


Full Text
carCrash.pdf
Publisher postprint (674.6 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
resilience; DREF; model checking
Disciplines :
Computer science
Author, co-author :
KHAN, Yasir Imtiaz ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
A formal approach for engineering resilient car crash management system
Publication date :
2012
Publisher :
lassy
Report number :
TR-LASSY-12-05
Available on ORBilu :
since 20 November 2013

Statistics


Number of views
91 (3 by Unilu)
Number of downloads
131 (4 by Unilu)

Bibliography


Similar publications



Contact ORBilu