• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models.

Giuseppe Del CastilloWolfram Hardt
Published in: CODES (1998)
Keyphrases