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'. יחד הם יוצרים טביעת אצבע ייחודית.