Formal Modeling and Verification of Cyber-Physical Systems

MLA

Drechsler, Rolf, and Ulrich Kühne. Formal Modeling and Verification of Cyber-physical Systems. Springer Fachmedien Wiesbaden, 2015.

APA

Drechsler, R., & Kühne, U. (2015). Formal Modeling and Verification of Cyber-Physical Systems. Springer Fachmedien Wiesbaden.

Chicago

Drechsler, Rolf, and Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. : Springer Fachmedien Wiesbaden, 2015.