Approximate optimal AUTOSAR software components deploying approach for automotive E/E system.Published in:International Journal of Automotive Technology, 2017, v. 18, n. 6, p. 1109, doi. 10.1007/s12239-017-0108-3By:Ran, Zheng;Yan, Hua;Zhang, Huimin;Li, YunPublication type:Article
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.Published in:Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 676, doi. 10.1017/S0960129512000230By:DAMM, WERNER;PETER, HANS-JÖRG;RAKOW, JAN;WESTPHAL, BERNDPublication type:Article