Login / Signup
Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Published in:
SyDe Summer School (2015)
Keyphrases
</>
formal methods
cyber physical systems
mathematical models
data mining
intelligent systems
virtual environment
smart card