Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Di Alesio, Stefano; Gotlieb, Arnaud; Nejati, Shiva et al.
2012In CSTVA 2012
Peer reviewed
 

Files


Full Text
simula_pdf_file.pdf
Author preprint (292.23 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-477
Author, co-author :
Di Alesio, Stefano;  Simula Research Lab, Norway
Gotlieb, Arnaud;  Simula Research Lab, Norway
Nejati, Shiva ;  Simula Research Lab, Norway
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Publication date :
2012
Event name :
CSTVA 2012
Event place :
Montreal, QC, Canada
Event date :
2012
Audience :
International
Main work title :
CSTVA 2012
ISBN/EAN :
978-1-4577-1906-6
Pages :
764-769
Peer reviewed :
Peer reviewed
Commentary :
Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)
Available on ORBilu :
since 03 June 2013

Statistics


Number of views
146 (10 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu