Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre-Loic Garoche
Automated Analysis of Stateflow Models
Related publications
Using SPIN to Check Simulink Stateflow Models
International Journal of Networked and Distributed Computing
Computer Networks
Computer Science Applications
Communications
Automated Analysis of Industrial Workflow-Based Models
Automated Trace Analysis of Discrete-Event System Models
IEEE Transactions on Software Engineering
Software
Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits
The Automated Assembly of Simulation Models
Automated Reasoning on Feature Models
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow
Automated Analysis of Meta-Analysis Networks
Human Brain Mapping
Nuclear Medicine
Radiology
Ultrasound Technology
Anatomy
Radiological
Neurology
Imaging
Automated Streamline Analysis
Monthly Weather Review
Atmospheric Science
Forming and Automated Energy Analysis of Integrated Models of the Public Buildings and Their Enclosing Structures
Statyba
