Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Florian Drux
conf.researchr.org general profile
STAF 2026 profile
Not registered as user
Name:
Florian Drux
Contributions
2026
ICMM
Author of Towards Applying Stream-Based Assumption Guarantee Specifications for Runtime Verification within the ICMM 2026-track
Share
x
Sat 5 Sep 10:53