BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
K.Becker B.Schätz C.Buckl
Talks about:
constraint (1) analysi (1) system (1) formal (1) deploy (1) calcul (1) toler (1) model (1) fault (1) base (1)

Person: Michael Armbruster

DBLP DBLP: Armbruster:Michael

Contributed to:

SEFM 20142014

Wrote 1 papers:

SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.