Informatik (15.755 Artikel)

On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.- Programming with Miracles.- An Event-...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented toget...

16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short pa...

The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory...

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presente...

17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Writing documentation is an integral part of any technical product development. A significant amount of time is spent describing the product functionality, giving insights into technical details, p...

With the increasing importance of reliability in business and industrial IT systems, new techniques for architecture-based software reliability prediction are becoming an integral part of the devel...

Object Extraction from Raster Imagery.- View Alignment of Aerial and Terrestrial Imagery in Urban Environments.- Automated Extraction of Linear Features from Aerial Imagery Using Kohonen Learning a...

The main objectives of this book are a) to provide a refe- rence book for teaching graduate and undergraduate students in control systems, distributedAI, computer integrated ma- nufacturing, AI in ...

This book constitutes the refereed proceedings of the 7th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2019, held in Nara, Japan, in March 2019...