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 × China
1 × Portugal
1 × USA
Collaborated with:
H.Giese B.Axenath U.Frank B.Becker D.Beyer D.Schilling
Talks about:
structur (2) system (2) mechatron (1) systemat (1) synthesi (1) scenario (1) properti (1) principl (1) diagram (1) tempor (1)

Person: Florian Klein

DBLP DBLP: Klein:Florian

Contributed to:

FASE 20072007
ICSE 20062006
RE 20062006

Wrote 3 papers:

FASE-2007-KleinG #diagrams #specification #using
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.
ICSE-2006-BeckerBGKS #adaptation #invariant #verification
Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
RE-2006-AxenathGKF #evaluation #synthesis
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.
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.