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