Results 161 to 170 of about 95,498 (183)

Systematic Development of Control Designs via Formal Refinement

open access: yes, 2013
Snook, Colin   +4 more
core  
Some of the next articles are maybe not open access.

Related searches:

A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation

Applied Mathematics and Computation, 2021
Marat Mukhametzhanov   +2 more
exaly  

Towards correctness proof for hybrid Simulink block diagrams

Journal of Systems Architecture, 2023
Zhiming Liu
exaly  

Simulink仿真指导放电准分子激光长脉宽的实验探究

Hongwai Yu Jiguang Gongcheng/Infrared and Laser Engineering, 2021
exaly  

忆阻器、忆容器和忆感器的Simulink建模及其特性分析

Wuli Xuebao/Acta Physica Sinica, 2018
Yu Jun
exaly  

Simulink fault localization: an iterative statistical debugging approach

Software Testing Verification and Reliability, 2016
Shiva Nejati, Lionel Briand
exaly  

Photovoltaic Module Modeling using Simulink/Matlab

Procedia Environmental Sciences, 2013
Nasrudin Abd Rahim   +2 more
exaly  

Home - About - Disclaimer - Privacy