AVL List GmbH, Austria, Hans-List-Platz 1, A-8020 Graz;
VIRTUAL VEHICLE Research Center, Austria, Inffeldgasse 21A, A-8010 Graz;
AVL List GmbH, Austria, Hans-List-Platz 1, A-8020 Graz;
AVL List GmbH, Austria, Hans-List-Platz 1, A-8020 Graz;
VIRTUAL VEHICLE Research Center, Austria, Inffeldgasse 21A, A-8010 Graz;
AVL List GmbH, Austria, Hans-List-Platz 1, A-8020 Graz;
synchronisation; automotive electrics; automotive electronics; database management systems; formal verification; mechanical engineering computing; power transmission (mechanical); safety; software tools;
机译:基于模型的系统工程和基于模型的安全评估的基础
机译:基于模型的系统工程和基于模型的安全评估的基础
机译:以漏洞为中心的需求工程框架:基于漏洞分析安全攻击,对策和需求
机译:基于模型的安全要求往返工程的框架
机译:“需求推荐器”:在可持续软件项目的需求工程中使用多个标准推荐器系统的拟议框架
机译:确保再加工医疗器械技术功能安全的框架条件和要求
机译:工程安全要求,安全约束和安全关键要求。