Concepedia

K.G. Larsen

KL

1

Publications

23

Citations

1

H-Index

2002

Active since

Affiliations

Aalborg University(Current)

K.G. Larsen is an author at Aalborg University specializing in computer science, system software, and systems engineering.

Top concepts

EngineeringVerificationFormal MethodsProcess ControlSystem SoftwareComputer ScienceReal-time SystemsFormal VerificationPerformance StudiesSystems Engineering

Publications per year

2002–2002

1

Publications

1

UPPAAL - present and future

G. Behrmann, K.G. Larsen, O. Moller et al. · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2002 · 23 citations

Engineering, Real-time System Design, Verification +19

Rows per page

1–1 of 1