Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""finite automaton"" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 1807
Tytuł:
Free groups defined by finite $p$-automata
Autorzy:
A.P. Krenevych
A.S. Oliynyk
Pokaż więcej
Temat:
finite automaton
p-automaton
free group
Mathematics
QA1-939
Źródło:
Researches in Mathematics, Vol 31, Iss 2, Pp 48-54 (2023)
Opis pliku:
electronic resource
Relacje:
https://vestnmath.dnu.dp.ua/index.php/rim/article/view/409/409; https://doaj.org/toc/2664-4991; https://doaj.org/toc/2664-5009
Dostęp URL:
https://doaj.org/article/8e4f5338f0fd4447aa2dd8ea99f1eb55  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A measurable refinement method of design and verification for micro-kernel operating systems in communication network
Autorzy:
Zhenjiang Qian
Rui Xia
Gaofei Sun
Xiaoshuang Xing
Kaijian Xia
Pokaż więcej
Temat:
Assembly-level verification
Finite automaton
Hoare logic
Isabelle/HOL
Micro-kernel OS
Information technology
T58.5-58.64
Źródło:
Digital Communications and Networks, Vol 9, Iss 5, Pp 1070-1079 (2023)
Opis pliku:
electronic resource
Relacje:
http://www.sciencedirect.com/science/article/pii/S2352864822000451; https://doaj.org/toc/2352-8648
Dostęp URL:
https://doaj.org/article/91d837aa85794e09a3816ad95807affb  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
A survey on observability of Boolean control networks
Autorzy:
Zhang, KuizeAff1, IDs1176802200122x_cor1
Pokaż więcej
Źródło:
Control Theory and Technology. 21(2):115-147
Czasopismo naukowe
Szczegóły
Tytuł:
Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA
Autorzy:
Dmitry Gapanovich
Vladimir Sukhomlin
Pokaż więcej
Temat:
digital twin
dt cyber-physical system
dsp
finite automata algebra
mealy finite automaton
mealy finite automaton diagrams
mathematical modeling of production twins
Electronic computers. Computer science
QA75.5-76.95
Źródło:
Современные информационные технологии и IT-образование, Vol 18, Iss 3, Pp 634-643 (2022)
Opis pliku:
electronic resource
Relacje:
http://sitito.cs.msu.ru/index.php/SITITO/article/view/909; https://doaj.org/toc/2411-1473
Dostęp URL:
https://doaj.org/article/f6eb8e7afa7441698b88705961c9475a  Link otwiera się w nowym oknie
Czasopismo naukowe
Szczegóły
Tytuł:
Automata Model for Verifying Attibuted-Based Access Control Policy in Systems with a Finite Number of Objects
Autorzy:
Kuznetsova, A. L.Aff1, IDS002713222105003X_cor1
Afonin, S. A.
Pokaż więcej
Źródło:
Moscow University Mathematics Bulletin. 76(5):230-233
Czasopismo naukowe
Szczegóły
Tytuł:
Intrusion Detection System Based on a Deterministic Finite Automaton for Smart Grid Systems
Autorzy:
Boumkheld, Nadia
El Koutbi, Mohammed
Pokaż więcej
Źródło:
Advances in Information and Communication Networks : Proceedings of the 2018 Future of Information and Communication Conference (FICC), Vol. 2. 887:203-211
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 1807

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies