エンベデッドシステムスペシャリスト 2014年 春期 問18

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