Automatic Generation of Fast Timed Simulation Models for Operating Systems

収録刊行物

• Proc. of the Design, Automation and Test in Europe (DATE), May 2002

  Proc. of the Design, Automation and Test in Europe (DATE), May 2002 64-70, 2002