Eric Engstrom
Author
Alternate names E. Engstrom, Eric Engstrom
Past institutions Smart Information Flow Technologies (United States), University of Gothenburg, Honeywell (United States)
H-index: 6
I10-index: 4
Works count: 16
Citations count: 213
Verification of time partitioning in the DEOS scheduler kernel
2000 · John Penix, Willem Visser, et al.
Certification considerations for adaptive systems
2015 · Siddhartha Bhattacharyya, Darren Cofer, et al. · 2022 International Conference on Unmanned Aircraft Systems (ICUAS)
Verifying Time Partitioning in the DEOS Scheduling Kernel
2005 · John Penix, Willem Visser, et al. · Formal Methods in System Design