ARTÍCULO
TITULO

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs

Barbuti    
R    
Francesco    
N De    
Santone    
A    
Vaglini    
G    

Resumen

No disponible

 Artículos similares

       
 
Sergios Villette, Dimitris Adam, Alexios Alexiou, Nikolaos Aretakis and Konstantinos Mathioudakis    
In a time when low emission solutions and technologies are of utmost importance regarding the sustainability of the aviation sector, this publication introduces a reduced-order physics-based model for combustion chambers of aeroengines, which is capable ... ver más
Revista: Aerospace

 
Asher Winter, Navid Mohajer, Darius Nahavandi and Shady Mohamed    
Human Centrifuge Systems (HCSs) are an effective training tool to improve the G-acceleration and Spatial Disorientation (SD) tolerance of aircrew. Though highly capable HCSs are available, their structure and performance are yet to be fully optimised to ... ver más
Revista: Aerospace

 
Harjot Singh Saluja, Feijia Yin, Arvind Gangoli Rao and Volker Grewe    
The climate impact of aviation is considerably different from that of other transport modes. The turbofan engine?s efficiency can be increased by increasing the Operating Pressure Ratio (OPR), bypass ratio (BPR) and Turbine Inlet Temperature (TIT), there... ver más
Revista: Aerospace

 
Danila Germanese, Sara Colantonio, Marco Del Coco, Pierluigi Carcagnì and Marco Leo    
Computer vision is a powerful tool for healthcare applications since it can provide objective diagnosis and assessment of pathologies, not depending on clinicians? skills and experiences. It can also help speed-up population screening, reducing health ca... ver más
Revista: Information

 
Felix Czarnetzki     Pág. 319?334
Carsharing is considered an effective tool for reducing car ownership, especially in high-density urban areas. Dedicated on-street carsharing parking spaces (CPS) are a promising but under-researched approach to increase the attractiveness and impact of ... ver más