( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.

, , , и . CPS Summer School, PhD Workshop, том 3252 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giuseppe Tronci

Roberto Tronci

Enrico Körner

Enrico Meier

Enrico Streit

 

Другие публикации лиц с тем же именем

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software, , , , и . CoRR, (2012)Exploiting Transition Locality in Automatic Verification., , , и . CHARME, том 2144 из Lecture Notes in Computer Science, стр. 259-274. Springer, (2001)Electric Power System Anomaly Detection Using Neural Networks., , , и . KES, том 3213 из Lecture Notes in Computer Science, стр. 1242-1248. Springer, (2004)Exploiting Hub States in Automatic Verification., , , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 54-68. Springer, (2005)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , и . HSCC, том 2623 из Lecture Notes in Computer Science, стр. 141-155. Springer, (2003)Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification., , и . CoRR, (2021)Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems., , и . IEEE Trans. Software Eng., 49 (9): 4443-4455 (сентября 2023)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , и . CoRR, (2021)Reconciling interoperability with efficient Verification and Validation within open source simulation environments., , , и . Simul. Model. Pract. Theory, (2021)About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus, и . Inf. Comput., 90 (1): 1-32 (января 1991)