pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems

Dehui Du 1 Ping Huang Kaiqiang Jiang 1 Frédéric Mallet 2
2 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2018, 166, pp.71 - 88. 〈10.1016/j.scico.2018.05.005〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01898202
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 18 octobre 2018 - 10:56:19
Dernière modification le : mercredi 7 novembre 2018 - 01:17:28

Identifiants

Collections

Citation

Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet. pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems. Science of Computer Programming, Elsevier, 2018, 166, pp.71 - 88. 〈10.1016/j.scico.2018.05.005〉. 〈hal-01898202〉

Partager

Métriques

Consultations de la notice

21