( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach.

, , , , и . CoRR, (2021)

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.

Michaela Rancea

 

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

Scott Smolka and Me.. From Reactive Systems to Cyber-Physical Systems, том 11500 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2019)A framework for opacity in linear systems., , и . ACC, стр. 6337-6344. IEEE, (2016)Recovering Views of Inter-System Interaction Behaviors., , и . WCRE, стр. 53-61. IEEE Computer Society, (2009)Testing-Based Abstractions for Value-Passing Systems., и . CONCUR, том 836 из Lecture Notes in Computer Science, стр. 417-432. Springer, (1994)Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes., , , и . CONCUR, том 836 из Lecture Notes in Computer Science, стр. 497-512. Springer, (1994)Triggered message sequence charts., и . SIGSOFT FSE, стр. 167-176. ACM, (2002)On Automatically Distinguishing Inequivalent Processes.. CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 463-476. DIMACS/AMS, (1990)The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems., , , , , и . Specification of Parallel Algorithms, том 18 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 75-89. DIMACS/AMS, (1994)Better Automata through Process Algebra.. CoRR, (2020)Timed Automata Benchmark Description., и . CoRR, (2020)