Verification and abstraction of real-time variability-intensive systems

Reference : Verification and abstraction of real-time variability-intensive systems


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/42020

Title :	Verification and abstraction of real-time variability-intensive systems
Language :	English
Author, co-author :	Cordy, Maxime [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Legay, Axel [Université Catholique de Louvain - UCL]
Publication date :	Dec-2019
Journal title :	International Journal on Software Tools for Technology Transfer
Publisher :	Springer
Volume :	21
Issue/season :	6
Special issue title :	Quantitative Variability Modelling and Analysis
Pages :	635-649
Peer reviewed :	Yes (verified by ORBi^lu)
Audience :	International
ISSN :	1433-2779
e-ISSN :	1433-2787
Country :	Germany
Permalink :	http://hdl.handle.net/10993/42020

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	Verification_and_Abstraction_of_Real_Time_Variability_Intensive_Systems (4).pdf		Author preprint	509.74 kB	Request a copy

All documents in ORBi^lu are protected by a user license.