Simulink - PDFSEARCH.IO - Document Search Engine

Simulink
Results: 248

#	Item
11	Trust in programming tools: the formal verification of compilers and static analysers Xavier Leroy Inria Paris Verified trustworthy software systems, April 2016 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-04-05 14:57:15 Software Computing Real-time computing Worst-case execution time Simulink French Institute for Research in Computer Science and Automation Xavier Leroy AbsInt
12	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:11:07 Engineering Software engineering Unified Modeling Language Software testing Software Software quality Systems engineering Pharmaceutical industry Verification and validation Model-based testing Profile Simulink
13	Position: Time: Location: Contact: Flight Dynamicist (full time) Add to Reading List Source URL: www.altaerosenergies.com Language: English - Date: 2016-04-07 09:05:13 Software Energy Aircraft Kites Wind turbines Dynamics Simulink Airborne wind turbine Aerodynamics
14	French-German Research Institute of Saint-Louis The French-German Research Institute of Saint-Louis (ISL), located in the region of the border triangle of France, Germany and Switzerland, is an internationally recognize Add to Reading List Source URL: www.isl.eu Language: English - Date: 2016-07-06 03:37:46 Software Application software Avionics Cross-platform software Numerical software Navigation Aircraft instruments Simulink Magnetometer Satellite navigation MATLAB Institute of Navigation
15	Dedicated Systems Dedicated Systems Australia, in conjunction with its suppliers and technology partners, is pleased to announce its inaugural “Tech Days” event scheduled for 9th and 10th March. Subject Matter Exper Add to Reading List Source URL: dedicatedsystems.com.au Language: English - Date: 2016-02-03 01:51:21 Software Computing Visual programming languages Simulation software Application software Cross-platform software Numerical software Scientific modeling Simulink Internet of things Computer programming Analytics
16	NXTbike-GS Joep Mutsaerts Mechatronic System Design II WB Add to Reading List Source URL: www.bicycle.tudelft.nl Language: English - Date: 2010-05-21 03:02:25 Software Robot kits Computing Lego Mindstorms Robotics Embedded operating systems Educational toys Embedded systems LeJOS Simulink NxtOSEK Steering
17	NXTbike-GS Joep Mutsaerts Mechatronic System Design II WB Add to Reading List Source URL: bicycle.tudelft.nl Language: English - Date: 2010-05-21 03:02:25 Software Robot kits Computing Lego Mindstorms Robotics Embedded operating systems Educational toys Embedded systems LeJOS Simulink NxtOSEK Steering
18	Scientific Programming with Matlab in Engineering Rota Duration Semester Add to Reading List Source URL: www.e-technik.tu-dortmund.de Language: English - Date: 2013-04-16 06:11:00 Software Application software Cross-platform software Numerical software Array programming languages Linear algebra MATLAB Mathematical software Simulink
19	Preparation of Papers for AIAA Technical Conferences Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-07-18 01:30:09 Computing Software Simulation software Survival analysis Maintenance Prediction Prognostics Simulink MIL-STD-1553 MapR SIGNAL Reliability
20	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-01 07:05:12 Software Electromagnetism Electrical engineering Power engineering Electric power distribution Relays Cross-platform software Numerical software Power-system protection Protective relay Digital protective relay Simulink

UPDATE