松驰
发表于 2025-3-28 17:49:53
http://reply.papertrans.cn/17/1616/161503/161503_41.png
FLORA
发表于 2025-3-28 20:56:09
http://reply.papertrans.cn/17/1616/161503/161503_42.png
integrated
发表于 2025-3-28 23:07:23
Business idea and strategic goals,tion mechanism fulfills these requirements. A model-based testing approach has been used to test the software implementing such protection mechanism. The model used for testing has been model checked against the contract specification ensuring that the system-level safety requirements are met.