Remke, Anne, 1980-
Remke, A. 1980-
Remke, A. (Anne), 1980-
VIAF ID: 284201162 ( Personal )
Permalink: http://viaf.org/viaf/284201162
Preferred Forms
- 100 1 _ ‡a Remke, A. ‡d 1980-
-
- 100 1 _ ‡a Remke, Anne ‡d 1980-
- 100 1 _ ‡a Remke, Anne, ‡d 1980-
-
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (6)
- 510 2 _ ‡a Design and Analysis of Communication Systems (DACS)
- 551 _ _ ‡a Enschede
- 551 _ _ ‡a Münster (Westf)
- 510 2 _ ‡a ROCKS 2012 Vahrn
- 510 2 _ ‡a Universiteit Twente
- 510 2 _ ‡a Universiteit Twente ‡e Affiliation
Works
Title | Sources |
---|---|
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade | |
Formal Performability Evaluation of Architectural Models of Critical Infrastructures | |
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, proceedings | |
Model Checking Structured Infinite Markov Chains | |
Probabilistic verification of Architectural software models using SoftArc and Prism | |
ROCKS 2012 | |
Stochastic model checking, [2014]: |