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