TY - BOOK AU - Rajkumar Raj AU - Niz Dionisio de AU - Mark Klein TI - Cyber-Physical Systems T2 - Sei Series in Software Engineering SN - 9789386873569 U1 - 006.22 PY - 2018/// CY - Noida PB - Pearson India Education KW - Medical Cyber-Physical Systems KW - Energy Cyber-Physical Systems KW - Cyber-Physical Systems Built on Wireless Sensor Networks KW - Symbolic Synthesis for Cyber-Physical Systems KW - Software and Platform Issues in Feedback Control Systems KW - Logical Correctness for Hybrid Systems KW - Security of Cyber-Physical Systems ER -