TY  - RPRT
TI  - Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
AU  - Ginju V. George
AU  - Aritra Hazra
AU  - Pallab Dasgupta
AU  - Partha Pratim Chakrabarti
PY  - 2020
UR  - https://arxiv.org/abs/2005.00995
ID  - 2005.00995
ER  -