Page 1
Page 1
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Environmental Simulation Chambers : Application to Atmospheric Chemical Processes
Atmospheric pollution has many different detrimental impacts on air quality at urban, regional and global scales. Large volume photoreactors (often referred to as smog or simulation chambers) have been used very effectively to investigate and understand many varied aspects of atmospheric chemistry related to air pollution problems. Photochemical smog formation, which was first observed around 1945 in Los Angeles, is now a major environmental problem for all industrialised and densely populated regions of the world. Over the years many different modelling and experimental tools have been developed to analyse and simulate the complex chemical processes associated with tropspheric photooxidant formation. Work in environmental chambers has played a key role in the development of our understanding of the atmospheric chemistry associated with pollution problems on local, regional and global scales.
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Los Angeles and the Summer Olympic Games : Planning Legacies
This book describes the three planning approaches and legacy impacts for the Olympic Games in one locale: the city of Los Angeles, USA.
