Abstract

International audience

Keywords:
Computer science Executable Programming language Unified Modeling Language Property (philosophy) Software

Metrics

30
Cited By
3.83
FWCI (Field Weighted Citation Impact)
33
Refs
0.94
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

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