Hans J. Holberg

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

Papers

Citations

h-index

i10-index

Hans J. Holberg is an academic researcher. The author has contributed to research in topics: Formal Methods in Verification & Embedded Systems Design Techniques & Logic, programming, and type systems. The author has an h-index of 1, co-authored 2 publications.

Research Topics

Formal Methods in Verification Embedded Systems Design Techniques Logic, programming, and type systems Model-Driven Software Engineering Techniques

Research topics

topics

Formal Methods in Verification

2 works

Embedded Systems Design Techniques

2 works

Logic, programming, and type systems

1 works

Model-Driven Software Engineering Techniques

1 works

Chat about Author

Papers

Chat

Click to start Chat