Search
Now showing items 1-10 of 40
Autonomer Mess Roboter : Abschlussbericht zur vorzeitigen Beendigung der Mitarbeit der Firma Cubert im Projekt AuMeRo
Heine, René (2019)
Bericht
A companion-system architecture for realizing individualized and situation-adaptive user assistance
Bercher, Pascal et al. (2018)
Bericht
LEX: a case study in development and validation of formal specifications
Heckler, A. et al. (1996)
Bericht
KBeans Specification: Semantic Transparency for Components and Domain Models
Knublauch, Holger (2001)
Bericht
Verification of a Prolog Compiler - First Steps with KIV
Schellhorn, Gerhard; Ahrendt, W. (1996)
Bericht
CACTOS toolkit version 1: project deliverable D5.2.1
Groenda, Henning et al. (2017)
Bericht
Integrated data collection and analysis frameworks: project deliverable D4.4
Papazachos, Zafeirios et al. (2017)
Bericht
Evaluation methodology for the CACTOS runtime and prediction toolkits: project deliverable D5.4
Stier, Christian et al. (2017)
Bericht
An operational semantics for the extended compliance rule graph language
Knuplesch, David; Reichert, Manfred (2017)
Bericht
Validation and result analysis: project deliverable D7.4.2, revision 3
Sheridan, Craig et al. (2017)
Bericht