-
1دورية أكاديمية
المؤلفون: Dana Fisman, Hadar Frenkel, Sandra Zilles
المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
مصطلحات موضوعية: computer science - logic in computer science, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Hadar Frenkel, Orna Grumberg, Corina S. Păsăreanu, Sarai Sheinvald
المصدر: International Journal on Software Tools for Technology Transfer. 24:667-689
مصطلحات موضوعية: Software, Information Systems
-
3
المؤلفون: Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
المصدر: Lecture Notes in Computer Science ISBN: 9783031223365
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9bb707ed14e70bd139238c4f25ad06c0
https://doi.org/10.1007/978-3-031-22337-2_25 -
4
المؤلفون: Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
المصدر: Automated Technology for Verification and Analysis ISBN: 9783031199912
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ca82eb77176bc99703fcc59a37bef7d1
https://doi.org/10.1007/978-3-031-19992-9_13 -
5
المؤلفون: Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
المصدر: Computer Aided Verification ISBN: 9783031131844
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2b90bbf6040d3f42bd685b15a2f3f77e
https://doi.org/10.1007/978-3-031-13185-1_20 -
6
-
7
المؤلفون: Orna Grumberg, Sarai Sheinvald, Hadar Frenkel
المصدر: Journal of Automated Reasoning. 63:1077-1101
مصطلحات موضوعية: Model checking, Discrete mathematics, Computer science, Data domain, Büchi automaton, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Satisfiability, Undecidable problem, Decidability, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Fragment (logic), 010201 computation theory & mathematics, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Formal Languages and Automata Theory, Software, Word (computer architecture)
-
8
المؤلفون: Sarai Sheinvald, Hadar Frenkel, Corina S. Păsăreanu, Orna Grumberg
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)مصطلحات موضوعية: 050101 languages & linguistics, Theoretical computer science, Correctness, Regular language, Computer science, Asynchronous communication, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, 02 engineering and technology, Equivalence (formal languages), Mathematical proof
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c563548618a9038784c2d8f6ed50c042
https://doi.org/10.1007/978-3-030-45190-5_12 -
9
المؤلفون: Hadar Frenkel, Orna Grumberg, Sarai Sheinvald
المصدر: Lecture Notes in Computer Science ISBN: 9783319572871
NFMمصطلحات موضوعية: Model checking, Discrete mathematics, Computer science, Data domain, Büchi automaton, 020207 software engineering, 02 engineering and technology, Automaton, Undecidable problem, Fragment (logic), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computer Science::Formal Languages and Automata Theory, Word (computer architecture), Variable (mathematics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7564bfbf8a161fad948be891f7f201bf
https://doi.org/10.1007/978-3-319-57288-8_1