المؤلفون: Alberto Prieto Moreno, Orestes Llanes-Santiago, Alejandro Milanés-Cruz, José Folgueras-Méndez, Emilio García-Moreno, Francisco Morant-Anglada

المصدر: Ingeniare: Revista Chilena de Ingeniería, Vol 20, Iss 1, Pp 48-65 (2012)

مصطلحات موضوعية: Sistema de diagnóstico de fallos (SDF), diseño basado en diagnóstico, autómatas híbridos, autómatas cronometrados, composición de autómatas, árboles de decisión, Fault diagnosis system, diagnosis-based design, hybrid automata, timed automata, automata composition, decision tree, Mechanical engineering and machinery, TJ1-1570, Industrial engineering. Management engineering, T55.4-60.8

وصف الملف: electronic resource

Relation: http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052012000100006; https://doaj.org/toc/0718-3291; https://doaj.org/toc/0718-3305

URL الوصول: https://doaj.org/article/b90c710f03be464083c666289c4f8225

المؤلفون: Lima, Luiz Paula, Jr.^Aff2, Cavalli, Ana R.^Aff2

المساهمون: Kim, Myungchul, editor^Aff1, Kang, Sungwon, editor^Aff1, Hong, Keesoo, editor^Aff1

المصدر: Testing of Communicating Systems : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea. :288-307

المصدر: Труды Института системного программирования РАН.

مصطلحات موضوعية: ОРИЕНТИРОВАННЫЕ ГРАФЫ,ВЗАИМОДЕЙСТВУЮЩИЕ АВТОМАТЫ,КОМПОЗИЦИЯ АВТОМАТОВ,РАСПРЕДЕЛЕННЫЕ СИСТЕМЫ,СЕТИ,DIRECTED GRAPHS,COMMUNICATING AUTOMATA,AUTOMATA COMPOSITION,DISTRIBUTED SYSTEMS,NETWORKS

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::14ce20ea103bd13915f35e42ab4301e8
http://cyberleninka.ru/article/n/sistema-avtomatov-kompozitsiya-po-grafu-svyazey

المؤلفون: Prieto Moreno, Alberto, Llanes-Santiago, Orestes, Milanés-Cruz, Alejandro, Folgueras-Méndez, José, García-Moreno, Emilio, Morant-Anglada, Francisco

المصدر: Ingeniare. Revista chilena de ingeniería, Volume: 20, Issue: 1, Pages: 48-65, Published: APR 2012

مصطلحات موضوعية: diagnosis-based design, autómatas híbridos, timed automata, automata composition, decision tree, Fault diagnosis system, hybrid automata, autómatas cronometrados, Sistema de diagnóstico de fallos (SDF), composición de autómatas, árboles de decisión, diseño basado en diagnóstico

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______614::3bf2b5096f1dc39c52e79aae0c6cbe79
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052012000100006&lng=en&tlng=en

المؤلفون: Castaño, J.M., Castaño, R.

المصدر: Theor Comput Sci 2012;450:92-108
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

مصطلحات موضوعية: Model counting, Construction approaches, Conjunctive normal forms, Propositional satisfiability, SAT solvers, Automata composition, Regular expressions, ALL-SAT, Running time, Decision theory, Regular expression compilation, Benchmarking, Intersection grammars (FSIG), Several variables, FSA intersection, State-of-the-art performance, Clause learning, Boolean functions, Pattern matching, Finite automata, Finite state

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::b122184f2ed375d579fc611200399abe

المؤلفون: Tatjana Petrov, Heinz Koeppl

مصطلحات موضوعية: Stochastic automata composition, Cell signaling, Continuous-time stochastic process, Theoretical computer science, General Computer Science, Interacting particle system, Markov chain, Continuous-time Markov chain, Markov process, Theoretical Computer Science, symbols.namesake, Stochastic cellular automaton, symbols, Quantum finite automata, ddc:004, Stochastic neural network, Mathematics, Computer Science(all)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64c6559f7fcd34a037e5b594155244c7

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.