Andr - PDFSEARCH.IO - Document Search Engine

Andr
Results: 535

#	Item
381	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
382	GISA: a Brazilian Platform for Autonomous Cars Trials Andr´e C. Hernandes, Andr´e S. Brito, Henry Roncancio Daniel V. Magalh˜aes, Marcelo Becker and Rafael C. B. Sampaio University of S˜ao Paulo/EESC/Mobile Robotics/ Add to Reading List Source URL: www.roboticslab.ti.bfh.ch Language: English - Date: 2013-03-26 13:00:28 Surveying LIDAR Robotic sensing Global Positioning System Radar engineering details Robotics Mobile robot Intelligent transportation system VisLab Intercontinental Autonomous Challenge Technology Transport Radar
383	Towards Automatic Generation of Domain-Specific Mathematical Input Support Eric Andr`es∗ Bastiaan Heeren Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Computing Generic programming OpenMath Least common multiple Template Fraction Function Mathematics Elementary arithmetic Numbers
384	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
385	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
386	Logical Verification and Systematic Parametric Analysis in Train Control Andr´ e Platzer and Jan-David Quesel University of Oldenburg Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:18 Train protection systems European Rail Traffic Management System European Train Control System Symbol Transport Land transport Rail transport
387	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
388	Domain Specific Warnings: Are They Any Better? Andr´e Hora, Nicolas Anquetil, St´ephane Ducasse, Simon Allier RMoD Team INRIA, Lille, France {firstName.lastName}@inria.fr Abstract—Tools to detect coding standard viol Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-11-02 14:42:04 Domain-specific language Software testing Software bug Debugging Source lines of code Software maintenance Software quality Coding conventions Software engineering Source code Computing
389	Multinational Production: Data and Stylized Facts Natalia Ramondo, Andr´es Rodr´ıguez-Clare, and Felix Tintelnot∗ Globalization is a phenomenon of many dimensions: international trade and migration, financial integr Add to Reading List Source URL: felix-tintelnot.wdfiles.com Language: English - Date: 2015-01-12 17:53:22 International relations National accounts Foreign direct investment Macroeconomics Balance of trade Trade facilitation and development Gross domestic product Globalization Foreign affiliate trade statistics International trade Economics International economics
390	The Internationalization Process of Firms: from Exports to FDI∗ Paola Conconi Universit´e Libre de Bruxelles (ECARES) and CEPR Andr´e Sapir Universit´e Libre de Bruxelles (ECARES) and CEPR Add to Reading List Source URL: www.ecares.org Language: English - Date: 2014-07-16 17:08:37 Economics International relations Internationalization Export Foreign direct investment Trade facilitation and development Maurice Kugler Eclectic paradigm International trade International economics Economic theories

UPDATE