Releases by Anne Remke

In stock at iMusic Show unavailable items

Cover for Anne Remke · Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2025)

Formal Methods for Industrial Cr... (2025)

Cover for Anne Remke · Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Analytical and Stochastic Modell... (2015)

Cover for Anne Remke · Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Stochastic Model Checking: Inter... (2014)