@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",
optkeywords="formal verification",
optkeywords="maximum power point trackers",
optkeywords="power engineering computing",
optkeywords="Modelica",
optkeywords="automatic verification",
optkeywords="complex power electronics systems",
optkeywords="cyber-physical systems modeling",
optkeywords="distributed maximum power point tracking system",
optkeywords="open standard modeling language",
optkeywords="Computational modeling",
optkeywords="Control systems",
optkeywords="Integrated circuit modeling",
optkeywords="Mathematical model",
optkeywords="Object oriented modeling",
optkeywords="Radiation effects",
optkeywords="Automatic Formal Verification",
optkeywords="DMPPT",
optkeywords="Modeling",
optkeywords="Photovoltaic systems",
optkeywords="Simulation",
optkeywords="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",
file=":http://mclab.di.uniroma1.it/publications/papers/driouich/2017/168\textit{Driouich}etal2017.pdf:PDF"
}