Retour
  1. Accueil
  3. Référence détaillée
Demander un accès
Article (Périodiques scientifiques)
Verification and abstraction of real-time variability-intensive systems
CORDY, Maxime; Legay, Axel
2019 • In International Journal on Software Tools for Technology Transfer, 21 (6), p. 635-649
Peer reviewed vérifié par ORBi
Permalien
https://hdl.handle.net/10993/42020
DOI
10.1007/s10009-019-00537-z
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
Verification_and_Abstraction_of_Real_Time_Variability_Intensive_Systems (4).pdf
Preprint Auteur (521.97 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
CORDY, Maxime  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Legay, Axel;  Université Catholique de Louvain - UCL
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Verification and abstraction of real-time variability-intensive systems
Date de publication/diffusion :
décembre 2019
Titre du périodique :
International Journal on Software Tools for Technology Transfer
ISSN :
1433-2779
eISSN :
1433-2787
Maison d'édition :
Springer, Allemagne
Titre particulier du numéro :
Quantitative Variability Modelling and Analysis
Volume/Tome :
21
Fascicule/Saison :
6
Pagination :
635-649
Peer reviewed :
Peer reviewed vérifié par ORBi
Focus Area :
Security, Reliability and Trust
Disponible sur ORBilu :
depuis le 24 janvier 2020

Statistiques

Nombre de vues
101 (dont 2 Unilu)
Nombre de téléchargements
0 (dont 0 Unilu)
Voir plus de statistiques
citations Scopus®
 
0
citations Scopus®
sans auto-citations
0
OpenCitations
 
1
citations OpenAlex
 
2
citations WoS™
 
0

Bibliographie

Publications similaires


Contacter ORBilu