podiatrist
发表于 2025-3-30 10:07:38
Model-Based Analysis for Safety Critical Softwareers as part of the motor control within a hybrid electric vehicle. The results suggest that our approach allows to create high quality test suites. In addition, the test model helps to reduce misunderstandings due to imprecise specification of safety mechanisms.
delusion
发表于 2025-3-30 14:49:55
http://reply.papertrans.cn/24/2338/233736/233736_52.png
使迷醉
发表于 2025-3-30 17:15:17
A Multi-layer Anomaly Detector for Dynamic Service-Based Systemsagement service-based system. Results show the monitor performance, the intrusiveness of the probes, and ultimately the improved detection capability achieved observing data from the different layers.
chastise
发表于 2025-3-30 22:28:43
http://reply.papertrans.cn/24/2338/233736/233736_54.png
制度
发表于 2025-3-31 02:25:40
0302-9743 systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.978-3-319-24254-5978-3-319-24255-2Series ISSN 0302-9743 Series E-ISSN 1611-3349