Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

Tibor Farkas, Daniel Grund. Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software. In International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. pages 287-294, IEEE, 2007. [doi]

Abstract

Abstract is missing.