An Instrumentation-Based Approach to Controller Model Validation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rance Cleaveland, Scott A. Smolka, Steve Sims. An Instrumentation-Based Approach to Controller Model Validation. In Manfred Broy, Ingolf H. Krüger, Michael Meisinger, editors, Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Volume 4922 of Lecture Notes in Computer Science, pages 84-97, Springer, 2006. [doi]

This author has not been identified. Look up 'Rance Cleaveland' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in GoogleThis author has not been identified. Look up 'Steve Sims' in Google

runs on WebDSL