Navigating Dimensionality Through State Machines in Automotive System Validation.

Laurenz Adolph, Barbara Schtt, David Kraus, Eric Sax

Browse the full MODELSWARD paper archive.