Plug-in

Results: 4728



#Item
111Software / Frama-C / Type theory

a rodin plug-in for constructing reusable schematic lemmas P. Stankaitis, A. Iliasov, D. Adjepon-Yamoah, A. Romanovsky May 23, 2016 Newcastle University

Add to Reading List

Source URL: wiki.event-b.org

Language: English - Date: 2016-05-25 03:54:35
112Energy / Electric vehicle conversion / Transport / Electric power / Electric vehicles / Transportation in California / Plug-in hybrid / Vehicle electrification / Electric vehicle / Distributed generation / Hybrids Plus / FreedomCAR and Vehicle Technologies

Impact of Plug-in Hybrid Electric Vehicles on the Power Grid Investigators: Mehdi Ferdowsi (, Funding Source:

Add to Reading List

Source URL: isc.mst.edu

Language: English - Date: 2014-01-22 05:22:48
113Electric vehicles / Engines / Transport / Rechargeable batteries / Energy / Hybrid vehicle / Hybrid electric vehicle / Leadacid battery / Plug-in electric vehicle / Hybrid Synergy Drive

Microsoft Word - CPT BEEAs Green Product of the Year PR 14 Oct 2014

Add to Reading List

Source URL: alabc.org

Language: English - Date: 2014-10-22 14:03:49
114Energy economics / Transport / Automobile costs / Energy / Green vehicles / Energy conservation / Transport economics / Fuel economy in automobiles / Fuel efficiency / United States Environmental Protection Agency / Sticker / Plug-in electric vehicles in the United States

MPG Stickers Campaign Accelerating the Adoption of Fuel Efficient Vehicles in the US Activist Guide August 2008

Add to Reading List

Source URL: www.mpgstickers.org

Language: English - Date: 2008-08-15 01:29:34
115Software / Frama-C / Formal methods / Predicate transformer semantics / Alt-Ergo / Linux kernel

WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:34
116Energy / Electric vehicle conversion / Electric vehicles / Energy policy of the United States / Physical universe / Plug-in hybrid / Vehicle electrification / Transport / Office of Energy Efficiency and Renewable Energy / Renewable energy

CE-CERT Quarterly Newsletter 2016

Add to Reading List

Source URL: www.cert.ucr.edu

Language: English - Date: 2016-06-28 16:43:35
117Transport / Automobile costs / Land transport / Car safety / Road transport / Vehicle inspection / Vehicle registration plate / Department of Motor Vehicles / MOT test / Vehicle inspection in the United States / Government incentives for plug-in electric vehicles

OUT OF STATE EXEMPTION APPLICATION FOR OUT OF STATE EXEMPTION ARIZONA VEHICLE EMISSIONS INSPECTION PROGRAM   If your vehicle will be out of the State of Arizona longer than 90 days before your registration expires, you

Add to Reading List

Source URL: legacy.azdeq.gov

Language: English - Date: 2015-04-02 09:24:54
118Software / Application programming interfaces / Web browsers / Microsoft Silverlight / NPAPI / Google Chrome / Firefox / Silverlight / Plug-in / Moonlight / Upload components

Browser requirements To work with EMMa, your browser must have the Microsoft Silverlight 5 plug-in installed. To install the Silverlight plug-in, go to Get Microsoft Silverlight and follow the instructions there. Interne

Add to Reading List

Source URL: emma.ecdc.europa.eu

Language: English - Date: 2015-05-13 09:19:33
119Software engineering / Software / Computing / C / Programming language implementation / Frama-C / Data types / Undefined behavior / Integer overflow / C99 / Exception handling / Unspecified behavior

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:33
120Transport / Electric vehicles / Electric vehicle conversion / Energy / Plug-in hybrid / Diesel engine / Charging station / London congestion charge / Diesel locomotive / Government incentives for plug-in electric vehicles / Plug-in electric vehicles in the United Kingdom

www.lombardvehiclesolutions.co.uk Is it time to weigh up the benefits of ultra low emission vehicles? How the latest developments could provide an increased incentive for businesses to consider greener vehicles.

Add to Reading List

Source URL: www.lombardvehiclesolutions.co.uk

Language: English - Date: 2016-06-06 10:06:15
UPDATE