-
1
المؤلفون: Kumar, Rajesh, Ruijters, Enno Jozef Johannes, Stoelinga, Mariëlle Ida Antoinette, Sankaranarayanan, Sriram, Vicario, Enrico
المصدر: Lecture Notes in Computer Science ISBN: 9783319229744
FORMATS
Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 156-171
STARTPAGE=156;ENDPAGE=171;TITLE=Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015)مصطلحات موضوعية: Attack Tree, Model checking, Theoretical computer science, Principle of compositionality, Computer science, Attack tree, Timed automaton, Socio-technical security, Computer security, computer.software_genre, FMT-MC: MODEL CHECKING, Rotation formalisms in three dimensions, EWI-25869, Model Checking, Uppaal Cora, Automaton, EC Grant Agreement nr.: FP7/318003, Case Studies, Ranking, IR-97025, EC Grant Agreement nr.: FP7/2007-2013, Key (cryptography), computer, Attacker Profile, METIS-312524
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adaf6daf0239cf41b8fe8871f06a2f21
https://doi.org/10.1007/978-3-319-22975-1_11