Modeling and Verification of Memory Architectures with AADL and REAL.

Stphane Rubini, Frank Singhoff, Jrme Hugues

Browse the full ICECCS paper archive.