Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking.

K. Suzanne Barber, Thomas J. Graser, Jim Holt

Browse the full SEKE paper archive.