toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
  Record Links
Author Driouich, Y.; Parente, M.; Tronci, E. pdf  doi
  Title Modeling cyber-physical systems for automatic verification Type Conference Article
  Year 2017 Publication 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) Abbreviated Journal  
  Volume Issue Pages 1-4  
  Keywords 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;Maximum power point trackers;Object oriented modeling;Radiation effects;Automatic Formal Verification;Cyber-Physical Systems;DMPPT;Modeling;Photovoltaic systems;Simulation;System Analysis and Design  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition (up)  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved no  
  Call Number MCLab @ davi @ ref7981621 Serial 168  
Permanent link to this record
Select All    Deselect All
 |   | 

Save Citations:
Export Records: