@InProceedings{Driouich_etal2017,
author="Driouich, Y.
and Parente, M.
and Tronci, E.",
title="Modeling cyber-physical systems for automatic verification",
booktitle="14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)",
year="2017",
pages="1--4",
optkeywords="cyber-physical systems; formal verification; maximum power point trackers; power engineering computing; Modelica; automatic verification; complex power electronics systems; cyber-physical systems modeling; distributed maximum power point tracking system; open standard modeling language; Computational modeling; Control systems; Integrated circuit modeling; Mathematical model; Object oriented modeling; Radiation effects; Automatic Formal Verification; DMPPT; Modeling; Photovoltaic systems; Simulation; System Analysis and Design",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=168), last updated on Tue, 23 Jan 2018 10:07:12 +0100",
doi="10.1109/SMACD.2017.7981621",
opturl="https://doi.org/10.1109/SMACD.2017.7981621",
file=":http://mclab.di.uniroma1.it/publications/papers/driouich/2017/168_Driouich_etal2017.pdf:PDF"
}