Acceso al sitio web del Consejo de Políticas de Infraestructura
REVISTA
IEEE SOFTWARE

   
Inicio  /  IEEE SOFTWARE  /  Vol: 14 Núm: 3 Par: 0 (1997)  /  Artículo
ARTÍCULO
TITULO

TOOLBOX - Testing for Millennium Risk Management . Top Drawer

Feord    
Michael    

Resumen

No disponible

PÁGINAS
pp. 126 - 135

 Artículos similares

       
 
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

 
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

 
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