Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.

Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool

Browse the full FMICS paper archive.