Article (Scientific journals)
Verification and abstraction of real-time variability-intensive systems
Cordy, Maxime; Legay, Axel
2019In International Journal on Software Tools for Technology Transfer, 21 (6), p. 635-649
Peer Reviewed verified by ORBi
 

Files


Full Text
Verification_and_Abstraction_of_Real_Time_Variability_Intensive_Systems (4).pdf
Author preprint (521.97 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Cordy, Maxime  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Legay, Axel;  Université Catholique de Louvain - UCL
External co-authors :
yes
Language :
English
Title :
Verification and abstraction of real-time variability-intensive systems
Publication date :
December 2019
Journal title :
International Journal on Software Tools for Technology Transfer
ISSN :
1433-2787
Publisher :
Springer, Germany
Special issue title :
Quantitative Variability Modelling and Analysis
Volume :
21
Issue :
6
Pages :
635-649
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 24 January 2020

Statistics


Number of views
61 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
1
WoS citations
 
0

Bibliography


Similar publications



Contact ORBilu