-
1دورية أكاديمية
المؤلفون: Evan, Driscoll, Cascio, Ethan, Zhou, Maozhong, Depauw, Nicolas, Nesteruk, Konrad, Adriano, Garonna, Nett, William, Bradley, Stephen, Clasie, Benjamin
المصدر: In International Journal of Particle Therapy June 2024 12 Supplement
-
2
المؤلفون: Denis Gopan, Evan Driscoll, Ducson Nguyen, Dimitri Naydich, Alexey Loginov, David Melski
المصدر: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::417ff4144c9b98e2be3a8452328972de
https://doi.org/10.1109/icse.2015.36 -
3
المؤلفون: Aditya V. Thakur, Evan Driscoll, Thomas Reps
المصدر: Computer Aided Verification ISBN: 9783642314230
CAVمصطلحات موضوعية: TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Theoretical computer science, Nested word, Computer science, Timed automaton, Pushdown automaton, ω-automaton, Nonlinear Sciences::Cellular Automata and Lattice Gases, Embedded pushdown automaton, Mobile automaton, Deterministic pushdown automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Two-way deterministic finite automaton, Computer Science::Formal Languages and Automata Theory
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9be93d46c7a5400cb3fc635ba44ebdcd
https://doi.org/10.1007/978-3-642-31424-7_47 -
4
المؤلفون: Thomas Reps, Amanda Burton, Evan Driscoll
المصدر: SIGSOFT FSE
مصطلحات موضوعية: Engineering, business.industry, Computer security, computer.software_genre, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f7c362d03bb8f81ea60120110bef9afe
https://doi.org/10.1145/2025113.2025132 -
5
المؤلفون: Matt Elder, Akash Lal, Evan Driscoll, Thomas Reps, Tycho Andersen, Aditya V. Thakur, Junghee Lim, Amanda Burton
المصدر: Computer Aided Verification ISBN: 9783642142949
CAVمصطلحات موضوعية: High-level verification, Theoretical computer science, Functional verification, Software model checking, Programming language, Computer science, Local variable, Aliasing (computing), Symbolic execution, computer.software_genre, Machine code, computer, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::813043dac87d89b1312679126e6ec509
https://doi.org/10.1007/978-3-642-14295-6_27