Behavioral Compatibility Without State Explosion: Design and Verification of a Component-based Elevator Control System

  • Paul C. Attie
  • , David Lorenz
  • , Aleksandra Portnova
  • , Hana Chockler

פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Behavioral Compatibility Without State Explosion: Design and Verification of a Component-based Elevator Control System'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Computer Science