TOOLBOX - Testing for Millennium Risk Management . Top Drawer - BibliotecaCPI

Artículos similares

Towards a Substantially Lower Fuel Consumption Freight Transport by the Development of an Innovative Low Rolling Resistance Truck Tyre Concept

Acceso

Benoit Duez Pág. 1051 - 1060

The aim of the LORRY project is to reduce carbon footprint of truck transportation by developing an innovative low Rolling Resistance (RR) tyre concept combined with a comprehensive toolbox for fl¬eet fuel saving management. The ambition is that steering... ver más

Revista: Transportation Research Procedia

New Tools and Strategies for Design and Operation of Urban Transport Interchanges

Acceso

Luca Lucietti, Caroline Hoogendoorn, Ivo Cré Pág. 1240 - 1249

NODES ?New tOols for Design and OpEration of Urban Transport InterchangeS? is a collaborative project co-funded by the Seventh Framework Programme focused on building and testing a Toolbox to support European cities in the design and operation of new or ... ver más

Revista: Transportation Research Procedia

A Case Study on the Application of PVS to Requirements Analysis

Acceso

Georg Droschl

This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control system. PVS is a tool for writing formal specifications and... ver más

Revista: Australasian Journal of Information Systems

TOOLBOX - Testing for Millennium Risk Management . Top Drawer

Artículos similares

Revistas destacadas