Search
Now showing items 1-3 of 3
Real-Time Systems || Process Algebra
Year: 2002
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems
Publisher: IEEE
Year: 2014
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems
Publisher: IEEE
Year: 2014