Title :
Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems
Abstract :
Describes the above-named upcoming special issue or section. May include topics to be covered or calls for papers.
Journal_Title :
Embedded Systems Letters, IEEE
DOI :
10.1109/LES.2012.2219212
