Christian Lidström -

Registered user since Thu 27 Jun 2024

Name:Christian Lidström

Country:Sweden

Affiliation:KTH Royal Institute of Technology

Contributions

2024

Requirements Engineering

Author of Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report within the Industrial Innovation Papers-track

2023

NWPT

Author of Verification of Extended Quantifiers Using Instrumentation Operators within the NWPT 2023-track