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

Tibor Farkas, Daniel Grund

Browse the full ISADS paper archive.