TY  - CONF
AU  - Driouich, Y.
AU  - Parente, M.
AU  - Tronci, E.
PY  - 2017
DA  - 2017//
TI  - Modeling cyber-physical systems for automatic verification
BT  - 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)
SP  - 1
EP  - 4
KW  - cyber-physical systems
KW  - formal verification
KW  - maximum power point trackers
KW  - power engineering computing
KW  - Modelica
KW  - automatic verification
KW  - complex power electronics systems
KW  - cyber-physical systems modeling
KW  - distributed maximum power point tracking system
KW  - open standard modeling language
KW  - Computational modeling
KW  - Control systems
KW  - Integrated circuit modeling
KW  - Mathematical model
KW  - Object oriented modeling
KW  - Radiation effects
KW  - Automatic Formal Verification
KW  - DMPPT
KW  - Modeling
KW  - Photovoltaic systems
KW  - Simulation
KW  - System Analysis and Design
L1  - http://mclab.di.uniroma1.it/publications/papers/driouich/2017/168_Driouich_etal2017.pdf
UR  - https://doi.org/10.1109/SMACD.2017.7981621
DO  - 10.1109/SMACD.2017.7981621
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=168), last updated on Tue, 23 Jan 2018 10:07:12 +0100
ID  - Driouich_etal2017
ER  -