10 citations · 16 across the 9 of their papers we have counts for
1 paper · 2 filters
Bojan Nokovic, Emil Sekerinski
We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitati…