JOURNAL ARTICLE

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

Dehui DuPing HuangKaiqiang JiangFrédéric Mallet

Year: 2018 Journal:   Science of Computer Programming Vol: 166 Pages: 71-88   Publisher: Elsevier BV
Keywords:
Computer science Extension (predicate logic) Cyber-physical system Software engineering Theoretical computer science Calculus (dental) Programming language Operating system

Metrics

22
Cited By
2.98
FWCI (Field Weighted Citation Impact)
83
Refs
0.89
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Embedded Systems Design Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
© 2026 ScienceGate Book Chapters — All rights reserved.