Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner |
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. |
QRS Companion |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Hybrid Automata with Simulink and Stateflow. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic |
Localizing Faults in Simulink/Stateflow Models with STL. |
HSCC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Caroline Brandberg, Marco Di Natale |
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. |
Principles of Modeling |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jiaxing Li, Yunhua Li, Qu Wang, Hao Lu, Kai Xiong |
Motor Electric Current Based Fault Detection for Transmission of EMA Using Matlab/Simulink Simscape. |
ICARCV |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos, James R. Cordy |
SimEvo: A Toolset for Simulink Test Evolution & Maintenance. |
ICST |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ali Behravan, Roman Obermaisser, Deepak Hanike Basavegowda, Simon Meckel |
Automatic model-based fault detection and diagnosis using diagnostic directed acyclic graph for a demand-controlled ventilation and heating system in Simulink. |
SysCon |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Asma Rebaya, Kaouther Gasmi, Salem Hasnaoui |
A Simulink-Based Rapid Prototyping Workflow for Optimizing Software/Hardware Programming. |
SoftCOM |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption. |
ISSRE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Robert Glebocki, Iryna Baranovska, Rafal Ozóg |
Some Problems of Inertial Measurement Units Modeling in Matlab and Matlab/Simulink. |
AUTOMATION |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nina Parkalian, Markus Robens, Christian Grewing, Volker Christ, Dennis Liebau, P. Muralidharan, Dennis Nielinger, Ugur Yegin, Andre Zambanini, Stefan van Waasen |
Modeling and Simulation of Digital Phase-Locked Loop in Simulink. |
SMACD |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Salma. A. S. Alarefi, Stuart D. Walker |
Empirical investigation and Simulink-simulation modelling of hydropower generator characteristic impedance. |
ICIT |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shamit Bansal, Yecheng Zhao, Haibo Zeng 0001, Kehua Yang |
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. |
RTSS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pavol Salík, Rastislav Róka, Tomás Gorazd |
Simulation Platform of Optical Transmission System in Matlab Simulink. |
FNC/MobiSPC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil |
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations). |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Subjecting Legacy Simulink Models to Timing Specifications. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gerardo Molina Salgado, Alberto Dicataldo, Daniel O'Hare, Ivan John O'Connell, José M. de la Rosa 0001 |
Behavioral Modeling of SAR ADCs in Simulink. |
ISCAS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
Documenting Simulink designs of embedded systems. |
MoDELS (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern |
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration). |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
15 | Eun-Young Kang 0001, Li Huang 0001 |
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nupur Yadav, D. K. Sambariya |
Mathematical Modelling and Simulation of Photovoltaic Module Using MATLAB/SIMULINK. |
ICCCNT |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner |
A curated corpus of simulink models for model-based empirical studies. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner |
Information Flow Analysis of Combined Simulink/Stateflow Models. |
WETICE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Raed Mesleh, Abdullah Al-Khatib, Omar Hiari |
Hardware Implementation of Generalized Space Modulation Techniques Using Simulink RF Blockset. |
BROADNETS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chakarajamula Hussaian Basha, C. Rani, R. M. Brisilla, S. Odofin |
Mathematical Design and Analysis of Photovoltaic Cell Using MATLAB/Simulink. |
SocProS (1) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, Sandro Schulze, Ina Schaefer |
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. |
ICSME |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Nazdrowicz |
Different Methods of MEMS Simulations in Matlab/SIMULINK. |
MIXDES |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nicolás Montés, Nuria Rosillo, Marta Covadonga Mora, Lucia Hilario |
Real-Time Matlab-Simulink-Lego EV3 Framework for Teaching Robotics Subjects. |
RiE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | J. J. Brito, Pedro A. Toledo, Silvia Alayón |
Virtual laboratory for automation combining inventor 3D models and Simulink control models: Virtual laboratory for automation. |
EDUCON |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mehmet Yilmaz, Fatih Mehmet Nuroglu |
Design of permissible step and touch voltage with SIMULINK and MATLAB guide. |
SIU |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh 0002 |
Modeling AUTOSAR Implementations in Simulink. |
ECMFA |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Fetzer, Gustav Lammert, Anton Ishchenko, Lars Tabit, Martin Braun 0002 |
A Flexible MATLAB/Simulink RMS-Framework for Electrical Power Systems Designed for Research and Education. |
ISGT Europe |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ilhan Kocaarslan, Mehmet Taciddin Akçay, Sirri Erdem Ulusoy, Emrah Bal, Hasan Tiryaki |
Creation of a dynamic model of the electrification and traction power system of a 25 kV AC feed railway line together with analysis of different operation scenarios using MATLAB/Simulink. |
Turkish J. Electr. Eng. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Majid Toghyani Rizi, Mohammad Hadi Shahrokh Abadi |
Analytical modeling of a coaxial cylindrical probe capacitive sensor based on MATLAB/Simulink for conductive liquids level measurements. |
Turkish J. Electr. Eng. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tim Peter, Sigrid Wenzel |
Coupled Simulation of Energy and Material Flow using Plant Simulation and MATLAB Simulink. |
Simul. Notes Eur. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Luciano Baresi, Márcio Eduardo Delamaro, Paulo Augusto Nardi |
Test oracles for simulink-like models. |
Autom. Softw. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhitao Wang, Jian Li, Tie-lei Li, Shu-Ying Li |
Research on Simulink/Fluent Collaborative Simulation Zooming of Marine Gas Turbine. |
Appl. Comput. Intell. Soft Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
A Synchronous Look at the Simulink Standard Library. |
ACM Trans. Embed. Comput. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu |
SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Maher Fakih, Sebastian Warsitz |
Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Meng Li 0001, Ratnesh Kumar 0001 |
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. |
IET Cyper-Phys. Syst.: Theory & Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Xueqian Zhao, Zhonghai Lu |
A Tool for xMAS-Based Modeling and Analysis of Communication Fabrics in Simulink. |
ACM Trans. Model. Comput. Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Naijun Zhan, Shuling Wang, Hengjun Zhao (eds.) |
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach. |
|
2017 |
DOI RDF |
|
15 | Asma Rebaya, Imen Amari, Kaouther Gasmi, Salem Hasnaoui |
Workflow for NoC/DSP multicores-based platform: From Matlab/Simulink models to hardware mapping and scheduling. |
ICCAD |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Molla Biweta, Mengesha Mamo |
Closed loop control strategy of back to back PWM converter fed by PMSG using PLECS toolbox on Matlab/Simulink for wind energy application. |
AFRICON |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yves Matanga, Karim Djouani, Anish Mathew Kurien |
A Matlab/Simulink framework for real time implementation of endogenous brain computer interfaces. |
AFRICON |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Aldegheri, Nicola Bombieri |
Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications. |
VLSI-SoC (Selected Papers) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Simulating preemptive scheduling with timing-aware blocks in Simulink. |
DATE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mustafa Saraoglu, Andrey Morozov 0001, Mehmet Turan Söylemez, Klaus Janschek |
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. |
SAFECOMP |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhenying Jiang, Xiao Wu, Zeqian Dong, Ming Mu |
Optimal Test Case Generation for Simulink Models Using Slicing. |
QRS Companion |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand |
Improving fault localization for Simulink models using search-based testing and prediction models. |
SANER |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui |
Automatic paral ellizati on of Simulink models for multicore embedded systems development. |
IINTEC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Chi Huang, Qiwei He, Zhengtao Yan, Weipeng Gao |
Active Control Simulation of Double Layer Vibration Isolation Platform Based on Simulink with Variable Step Size On-line Identification. |
ISCID (2) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Martín Letras, Joachim Falk, Stefan Wildermann, Jürgen Teich |
Automatic Conversion of Simulink Models to SysteMoC Actor Networks. |
SCOPES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui |
Performance evaluation of MATLAB/Simulink models for fitting embedded multicore systems. |
SoftCOM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nikolaos Kekatos, Marcelo Forets, Goran Frehse |
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. |
CDC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Craig Buhr |
Special sessions: Controls teaching made easier with MATLAB and Simulink. |
CDC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | H. R. Jayetileke, W. R. de Mel, H. U. W. Ratnayake |
Modelling and simulation analysis of the genetic-fuzzy controller for speed regulation of a sensored BLDC motor using MATLAB/SIMULINK. |
ICIIS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Abdelmenem Abobghala, Simon Iwnicki, Roger Goodall |
Evaluation of passive and active steering systems for railway vehicles using Matlab and Simulink simulation. |
ICAC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Bonaiuto, Fausto Sargeni |
A Matlab Simulink model for the study of smart grid - Grid-integrated vehicles interactions. |
RTSI |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Simulating execution time variations in Matlab/Simulink. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner |
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. |
COMPSAC (2) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mario Gavran, Mato Fruk, Goran Vujisic |
PI controller for DC motor speed realized with Arduino and Simulink. |
MIPRO |
2017 |
DBLP DOI BibTeX RDF |
|
15 | S. M. Sadinov |
Simulation study of M-ARY QAM modulation techniques using Matlab/Simulink. |
MIPRO |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vjosa Shatri, Lavdim Kurtaj, Ilir Limani |
Hardware-in-the-loop architecture with MATLAB/Simulink and QuaRC for rapid prototyping of CMAC neural network controller for ball-and-beam plant. |
MIPRO |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Reza Matinnejad, Shiva Nejati, Lionel C. Briand |
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. |
ESEC/SIGSOFT FSE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis |
Generation of simulink monitors for control applications from formal requirements. |
SIES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joanne Kitson, Samuel J. Williamson, Paul Harper, Chris M. McMahon, Ges Rosenberg, Michael Tierney, Karen Bell |
A photovoltaic panel modelling method for flexible implementation in Matlab/Simulink using datasheet quantities. |
ISIE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
Automatic generation of cycle-accurate Simulink blocks from hdl ips. |
FDL |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. |
FDL (Selected Papers) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Italo Oliveira, Ramiro S. Barbosa, Manuel F. Silva 0001 |
Modelling, Trajectory Planning and Control of a Quadruped Robot Using Matlab®/Simulink™. |
ROBOT (2) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer |
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. |
ICSR |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
Template-Based Monte-Carlo Test Generation for Simulink Models. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shota Tokunaga, Takuya Azumi |
Demo Abstract: Co-simulation Framework for Autonomous Driving Systems with MATLAB/Simulink. |
RTAS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matus Kozovsky, Petr Blaha |
Simulink generated control algorithm for nine-phase PMS motor. |
ICCSCE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Frantisek Gazdos |
Teaching Process Modelling And Simulation At Tomas Bata University In Zlin Using MATLAB And Simulink. |
ECMS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Bohan Lv, Shan Liu, Jinshu Gu, Guangshang Zeng |
Dynamics Co-simulation of Multi-DOF Dexterous Robot Hand System Based on ADAMS and Simulink. |
ICCMS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Guangming Xiong, Hao Li, Zeliang Ding, Jianwei Gong, Huiyan Chen |
Subjective evaluation of vehicle active safety using PreScan and Simulink: Lane departure warning system as an example. |
ICVES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Manel Takrouni, Marwa Gdhaifi, Azer Hasnaoui, Ikbel Mejri, Salem Hasnaoui |
Design and Implementation of a Simulink DDS Blockset and Its Integration to an Active Frame Steering Blockset Conformed to SAE ElectricVehicle. |
AICCSA |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer |
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. |
SPLC (A) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Wei-Jie Tang, Zhen-Tao Liu |
A convenient method for tracking color-based object in living video based on ROS and MATLAB/Simulink. |
ICARM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Om Ji Shukla, Gunjan Soni, Rajesh Kumar 0002 |
Simulation Modeling for Manufacturing System Application Using Simulink/SimEvents. |
SocProS (2) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos, James R. Cordy |
SimPact: Impact Analysis for Simulink Models. |
ICSME |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Nazdrowicz |
SIMULINK and COMSOL software application for MEMS accelerometer modeling and simulation. |
MIXDES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Claudius Jordan, Canlong Ma, Julien Provost |
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week. |
EDUCON |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Georg P. Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger |
Co-simulation Between Trnsys and Simulink Based on Type155. |
SEFM Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Arthur Noronha Montanari, Camila Felix Luciano, Marcelo Martins Stopa, Claudio de Andrade Lima |
A virtual environment for paralleling process of synchronous generators on LabVIEW and Simulink. |
ICACIT |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos |
Supporting Simulink Model Management. |
|
2017 |
RDF |
|
15 | Francisco de la Parra |
Discovery of Patterns in Simulink Systems. |
|
2017 |
RDF |
|
15 | Artur Schmidt, Umut Durak, Thorsten Pawletta |
Model-based testing methodology using system entity structures for MATLAB/Simulink models. |
Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Walid Emar |
Analysis, modeling and simulation of step up converter using Matlab-Simulink and simplorer. |
Int. J. Model. Simul. Sci. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pontus Boström, Jonatan Wiik |
Contract-based verification of discrete-time multi-rate Simulink models. |
Softw. Syst. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Muharrem Orkun Saglamdemir, Gönenç Berkol, Günhan Dündar, Alper Sen 0001 |
An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation. |
Integr. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Meng Li 0001, Ratnesh Kumar 0001 |
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. |
IET Cyper-Phys. Syst.: Theory & Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Le Thi My Hanh, Nguyen Thanh Binh 0002, Khuat Thanh Tung |
A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis. |
J. Syst. Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Chikatoshi Yamada, D. Michael Miller |
Using SPIN to Check Simulink Stateflow Models. |
Int. J. Networked Distributed Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Chikatoshi Yamada, D. Michael Miller |
Using SPIN to Check Simulink Stateflow Models. |
Int. J. Networked Distributed Comput. |
2016 |
DBLP DOI BibTeX RDF |
|