エンベデッドシステムスペシャリスト 2024年 秋期 問17

並列に生起する事象の間の同期を表現することが可能な、ソフトウェアの要求モデ ルはどれか。