Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Heiko Lötzbeyer
Observed names:
H. Lotzbeyer,
H. Lötzbeyer,
Lötzbeyer, Heiko
Institution:
Technical University of Munich
Observed institution:
Technical University of Munich
OpenAlex ID:
A5021392007
Consistent Integration of Formal Methods
2000
·
Peter Braun
, Heiko Lötzbeyer
, et al.
·
Lecture notes in computer science
·
31
Model based testing in evolutionary software development
2002
·
A. Pretschner
, H. Lotzbeyer
, et al.
·
International Workshop on Rapid System Prototyping (RSP)
·
26
Model based testing in incremental system development
2003
·
Alexander Pretschner
, Heiko Lötzbeyer
, et al.
·
Journal of Systems and Software
·
19
Patch-adaptive multilevel iteration
1997
·
H. Lötzbeyer
, U. Rüde
·
BIT Numerical Mathematics
·
12
A Formally Founded Componentware Testing Methodology
2000
·
Klaus Bergner
, Heiko Lötzbeyer
, et al.
Show more works
View as search
Works count:
8
Citation count:
88
H-index:
4
I10-index:
4
Year
Topic
Type
