יובל שחר

אקדמי בכיר

Task-specific verification of temporal skeletal plans

Yuval Shahar, S. Miksch , G. Duftschmid, P.D. Johnson
שפת פרסום אנגלית
סטטוס פרסום פורסם - 1997