Wszystkie pola: FORMAL - Prolib Integro

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

Wyszukujesz frazę "FORMAL" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Analysis of Parallel Discrete Systems: Persistent Sets vs. Concurrent Simulation
Autorzy:: Karatkevich, A.
Data publikacji:: 2009
Słowa kluczowe:: systemy dyskretne
sieci Petriego
formal model
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
Autorzy:: Adamski, M.
Skowroński, Z.
Data publikacji:: 2003
Słowa kluczowe:: sieci Petriego
programowanie zintegrowane
mikroprocesorowe systemy sprzętowo-programowe
Petri nets
formal model in hardware/sofrware codesign; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms
Autorzy:: Mayr, E. W.
Weihmann, J.
Data publikacji:: 2015
Słowa kluczowe:: formal sociology
Petri nets
graph grammars
algorithms
linear models; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From formal methods to implementation based on Petri Nets model of concurrent systems
Autorzy:: Wojciechowski, J.
Data publikacji:: 2007
Słowa kluczowe:: sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Model formalny sprzętowo-programowych systemów cyfrowych
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2006
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
Autorzy:: Permpoontanalarp, Y.
Sornkhom, P.
Data publikacji:: 2014
Słowa kluczowe:: formal methods for cryptographic protocols
model checking
coloured Petri nets
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Application of formal methods for hardware/software co-design of embedded systems
Autorzy:: Piotrowicz, M.
Data publikacji:: 2007
Słowa kluczowe:: ko-projektowanie sterowników
ko-projektowanie
mieszane sterowniki wbudowane
sieci Petriego
logika temporalna
metody formalne
co-design of embedded system
co-verification
mixed hardware/software systems
Petri nets
temporal logic
formal methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Autorzy:: Finkel, Olivier
Skrzypczak, Michał
Data publikacji:: 2021
Słowa kluczowe:: automata and formal languages
Petri nets
infinite words
logic in computer science
cantor topology
borel hierarchy
wadge degrees
highly undecidable properties
unambiguous Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
Autorzy:: Stasiak, A.
Data publikacji:: 2007
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Autorzy:: Stasiak, A.
Skowroński, Z.
Data publikacji:: 2007
Słowa kluczowe:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded system
digital systems
digital microsystems
PLD; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 13

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

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Wszystkie pola