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