6 citations · 15 across the 10 of their papers we have counts for
1 paper · 1 filter
Linna Pang, Chen-Wei Wang, Mark Lawford +4
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems…