6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…