Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Baldor
conf.researchr.org general profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
Registered user since Mon 11 Aug 2014
Name:
Kevin Baldor
Contributions
REBLS 2017
Author of Verifiable Reactive Software within the REBELS-track
REBLS 2015
Author of Real-Time Deadlines in Functional-Reactive Programming within the REBLS-track
DSLDI
Author of SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems within the DSLDI-track
Share
x
Wed 25 May 09:19