( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study.

, , , , и . ECEASST, (2010)

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.

Silvio Bischoff

Miniaturisierte Hochdrehzahl-Kühlmittelpumpen für Kfz-Motoren. TU Braunschweig, (2009)

Silvio Scheel

Silvio Peritore

Silvio Schulze

Silvio Prause

 

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

Light-Weight SMT-based Model Checking, , и . Electr. Notes Theor. Comput. Sci., 250 (2): 85-102 (2009)Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution., , , и . SECRYPT, стр. 147-158. SciTePress, (2016)Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control., , и . Sensors, 20 (13): 3621 (2020)A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework., , и . J. Braz. Comput. Soc., 14 (1): 71-86 (2008)New results on rewrite-based satisfiability procedures., , , и . ACM Trans. Comput. Log., 10 (1): 4:1-4:51 (2009)A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic., и . J. Univers. Comput. Sci., 7 (2): 124-140 (2001)New results on rewrite-based satisfiability procedures, , , и . CoRR, (2006)Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications., , , и . CODASPY, стр. 321-328. ACM, (2017)Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection., , и . ICETE (2), стр. 349-356. ScitePress, (2020)SARA: Secure Asynchronous Remote Attestation for IoT Systems., , , , и . IEEE Trans. Inf. Forensics Secur., (2020)