Km G. Larsen
Embedded Systems (United States)(US)Aalborg University(DK)
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Petri Nets in System Modeling
Logic, programming, and type systems, Formal Methods in Verification, Petri Nets in System Modeling