Synthesis of live behaviour models for fallible domains. Abstract: We revisit synthesis of live controllers for event-based operational models.
確定! 回上一頁