-
1دورية أكاديمية
المؤلفون: Han, Hyejin, Maghenem, Mohamed, Sanfelice, Ricardo G
مصطلحات موضوعية: Linear temporal logic, until operator, forward invariance, conditional invariance, hybrid systems.
وصف الملف: application/pdf
URL الوصول: https://escholarship.org/uc/item/7s94m2wq
-
2دورية أكاديمية
المؤلفون: Han, H, Maghenem, M, Sanfelice, RG
مصطلحات موضوعية: Linear temporal logic, until operator, forward invariance, conditional invariance, hybrid systems.
وصف الملف: application/pdf
URL الوصول: https://escholarship.org/uc/item/7s94m2wq
-
3
المؤلفون: Ricardo G. Sanfelice, Hyejin Han, Mohamed Maghenem
المساهمون: Ames, Aaron D, Seshia, Sanjit A, Deshmukh, Jyotirmoy
المصدر: HSCC
مصطلحات موضوعية: 030213 general clinical medicine, 0209 industrial biotechnology, Dynamical systems theory, Computer science, Discrete dynamics, forward invariance, Linear temporal logic, 02 engineering and technology, 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Operator (computer programming), until operator, Hybrid system, Applied mathematics, Temporal logic, conditional invariance, hybrid systems, Differential (infinitesimal)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3ea35e753acdb40057132fe0dab47f7
https://escholarship.org/uc/item/7s94m2wq -
4دورية أكاديمية
المؤلفون: Adomas Birštunas
المصدر: Lietuvos Matematikos Rinkinys, Vol 50, Iss proc. LMS (2009)
مصطلحات موضوعية: sequent calculus, branchnig-time temporal logic, until operator, loop-check, Mathematics, QA1-939
وصف الملف: electronic resource
Relation: https://www.journals.vu.lt/LMR/article/view/17972; https://doaj.org/toc/0132-2818; https://doaj.org/toc/2335-898X
-
5
المؤلفون: Mariusz Giero
المصدر: Formalized Mathematics, Vol 23, Iss 4, Pp 379-386 (2015)
مصطلحات موضوعية: Propositional variable, Theoretical computer science, Computation tree logic, 03b70, Applied Mathematics, Interval temporal logic, very strict until operator, Intermediate logic, Computational Mathematics, version: 8.1.04 5.34.1256, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Linear temporal logic, 03b35, temporal logic, completeness, Completeness (logic), QA1-939, Temporal logic, identifier: ltlaxio5, T-norm fuzzy logics, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c503924b87dd89680dc0dce57d1d0fae
https://doaj.org/article/b146d1ad418849548b9cb2d265b7d7d9 -
6
المؤلفون: Birštunas, Adomas
المصدر: Lietuvos matematikos rinkinys, Vilnius : Vilniaus universiteto leidykla, 2009, t. 50, p. 247-252
مصطلحات موضوعية: Mathematics::Logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, sequent calculus, branchnig-time temporal logic, until operator, loop-check, ComputerSystemsOrganization_PROCESSORARCHITECTURES
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5195f3cc727215d81be865e2f3e37838
https://repository.vu.lt/VU:ELABAPDB4182718&prefLang=en_US -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.