Titlebook: Software Engineering and Formal Methods; SEFM 2019 Collocated Javier Camara,Martin Steffen Conference proceedings 2020 Springer Nature Swit

正當(dāng)理由

書(shū)目名稱Software Engineering and Formal Methods影響因子(影響力)




書(shū)目名稱Software Engineering and Formal Methods影響因子(影響力)學(xué)科排名




書(shū)目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Software Engineering and Formal Methods被引頻次




書(shū)目名稱Software Engineering and Formal Methods被引頻次學(xué)科排名




書(shū)目名稱Software Engineering and Formal Methods年度引用




書(shū)目名稱Software Engineering and Formal Methods年度引用學(xué)科排名




書(shū)目名稱Software Engineering and Formal Methods讀者反饋




書(shū)目名稱Software Engineering and Formal Methods讀者反饋學(xué)科排名

AGOG

財(cái)主

0302-9743 tion of Cyber-Physical Systems; ?ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; ?and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems?..978-3-030-57505-2978-3-030-57506-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

RACE

Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushl model, including a control algorithm for the reduction of cogging torque. Then, using co-simulation and design space exploration, fine tuning of the controller gain parameters has been executed, exploiting the results from the formal verification.

FILLY

DAMP

Malleable

CLOWN

Challenges for Integrating Humans into Vehicular Cyber-Physical Systemsf the impacts of this shift is to develop safe AVs in which most or all of the functions of the human driver are replaced with an intelligent system. However, while some progress has been made in equipping AVs with advanced AI capabilities, VCPS designers are still faced with the challenge of design

取回

Dorsal