-
1
المصدر: Soil Dynamics and Earthquake Engineering. 164:107528
مصطلحات موضوعية: Soil Science, Geotechnical Engineering and Engineering Geology, Civil and Structural Engineering
-
2
المؤلفون: Saa Radomirovi, Petar Tsankov, Mohammad Torabi Dashti, Karl Wst
المصدر: Digital Investigation, 20
Proceedings of the Fourth Annual DFRWS Europeمصطلحات موضوعية: Computer science, Computer file, Program instrumentation, 020207 software engineering, Black box testing, Execution hijacking, File repair, 02 engineering and technology, Class implementation file, File format, computer.software_genre, Unix file types, Computer Science Applications, File Control Block, Medical Laboratory Technology, File viewer, Data_FILES, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Versioning file system, 020201 artificial intelligence & image processing, computer, Law, File system fragmentation
وصف الملف: application/application/pdf
-
3
المؤلفون: Mohammad Torabi Dashti, Saša Radomirović
المصدر: Computer Security ISBN: 9783319728162
مصطلحات موضوعية: 021103 operations research, Documentation, Risk analysis (engineering), Requirements engineering, Computer science, Anti-pattern, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 02 engineering and technology, Misuse case, Use-case analysis
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::88cf28c51d31216d0d36e4c257fc300f
https://doi.org/10.1007/978-3-319-72817-9_16 -
4
المؤلفون: Mohammad Torabi Dashti, David Basin, Grgur Petric Maretic
المصدر: Information Processing Letters. 114:408-413
مصطلحات موضوعية: Discrete mathematics, Property (philosophy), Intersection (set theory), Liveness, Computer Science::Software Engineering, Büchi automaton, Computer Science Applications, Theoretical Computer Science, Computer Science::Robotics, Combinatorics, Safety property, Computer Science::Logic in Computer Science, Signal Processing, Topological closure, Computer Science::Formal Languages and Automata Theory, Information Systems, Mathematics
-
5
المصدر: ISSTA
مصطلحات موضوعية: Exploit, Computer science, business.industry, 020207 software engineering, 02 engineering and technology, computer.software_genre, Test harness, Test (assessment), 020204 information systems, Test execution, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Web application, Isolation (database systems), business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::71d951108d29ba879ff2d2c6d99a1a68
https://doi.org/10.1145/3092703.3092710 -
6
المؤلفون: Mohammad Torabi Dashti, David Basin
المصدر: Automated Technology for Verification and Analysis ISBN: 9783319681665
ATVAمصطلحات موضوعية: Basis (linear algebra), Scope (project management), Computer science, 0202 electrical engineering, electronic engineering, information engineering, Falsifiability, Calculus, 020207 software engineering, Context (language use), 02 engineering and technology, Special case, Finite time, Enforcement, Bridge (nautical)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d8cefae312a6031d20637ed57ff600ac
https://doi.org/10.1007/978-3-319-68167-2_9 -
7
المؤلفون: Mahdi Asadpour, Mohammad Torabi Dashti
المصدر: Concurrency and Computation: Practice and Experience. 27:1932-1950
مصطلحات موضوعية: Computer Networks and Communications, business.industry, Computer science, Computer security, computer.software_genre, Computer Science Applications, Theoretical Computer Science, Privacy preserving, Identification (information), Computational Theory and Mathematics, Authentication protocol, Scalability, Overhead (computing), Radio-frequency identification, business, Internet of Things, computer, Protocol (object-oriented programming), Software
-
8
المؤلفون: David Basin, Petar Tsankov, Mohammad Torabi Dashti
المصدر: CSF
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Operations research, NETWORK MONITORING (COMPUTER SYSTEMS), Computer science, NETZWERKÜBERWACHUNG + NETZWERKADMINISTRATION (COMPUTERSYSTEME), 0211 other engineering and technologies, Access control, 02 engineering and technology, Set (abstract data type), Data processing, computer science, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Doors, 021110 strategic, defence & security studies, business.industry, ZUTRITTSKONTROLLE (BETRIEBSWIRTSCHAFT), Expressive language, Aerospace electronics, COMPUTERANWENDUNGEN IN DER GEBÄUDETECHNIK, Path (graph theory), COMPUTER APPLICATIONS IN BUILDING SERVICES, 020201 artificial intelligence & image processing, ACCESS CONTROL (BUSINESS ECONOMICS), ddc:004, business, Cryptography and Security (cs.CR)
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::240a7e031310c87dc10fe1c88f8e5941
-
9
المؤلفون: David Basin, Mohammad Torabi Dashti
المصدر: Lecture Notes in Computer Science ISBN: 9783319308050
ESSoSمصطلحات موضوعية: 010302 applied physics, Computer science, System testing, System requirements specification, 02 engineering and technology, Fault injection, Computer security model, Computer security, computer.software_genre, 01 natural sciences, Security testing, Security engineering, Risk analysis (engineering), Software security assurance, 020204 information systems, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Non-functional testing, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4d695ab14dd45052bd91d8e6e55f2561
https://doi.org/10.1007/978-3-319-30806-7_1 -
10
المؤلفون: Jun Pang, Mohammad Torabi Dashti, Tom Chothia
المساهمون: Computer Security, Specification and Analysis of Embedded Systems
المصدر: Electronic Notes in Theoretical Computer Science, 190(3), 79-94
مصطلحات موضوعية: Theoretical computer science, General Computer Science, Computer science, Distributed computing, Process (computing), Secrecy, Value (computer science), μCRL, Theoretical Computer Science, Automaton, Domain (software engineering), Resource (project management), Q-Automata, Component (UML), component-based systems, automatic checking, quality of service, Computer Science(all), Computer Science::Cryptography and Security