Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Ungureanu
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems