Formal Methods for Industrial Critical Systems

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...

Software Engineering for Resilient Systems

Desertification in Europe

Carbon Dioxide and Other Greenhouse Gases: Climatic and Associated Impacts

Formal Methods for Open Object-Based Distributed Systems

InhaltsangabePreface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz....

Current Issues in Climate Research

The CLimatoLogy Research Programme of the Commi ssion of the European Communities started in 1980...

The Climate of Europe: Past, Present and Future

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This volume constitutes the proceedings of the Second International Conference on Reliability, Sa...

From Software Engineering to Formal Methods and Tools, and Back

This volume was published in honor of Stefania Gnesis 65th birthday. The Festschrift volume conta...

Birational Geometry and Moduli Spaces

This volume collects contributions from speakers at the INdAM Workshop Birational Geometry and Mo...

Birational Geometry and Moduli Spaces

This volume collects contributions from speakers at the INdAM Workshop Birational Geometry and Mo...