Travelled to:1 × Germany
Collaborated with:O.Slotosch P.Braun B.Schätz A.Blotz F.Huber A.Pretschner H.Zängerl
Talks about:synergi (1) softwar (1) develop (1) consist (1) system (1) safeti (1) method (1) integr (1) formal (1) critic (1)
Person: Heiko Lötzbeyer
DBLP: L=ouml=tzbeyer:Heiko
Contributed to:
2002
2000Wrote 2 papers:
- Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety
- Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
- TACAS-2000-BraunLSS #consistency #formal method #integration
- Consistent Integration of Formal Methods (PB, HL, BS, OS), pp. 48–62.