Temat: systems transition - 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ę "systems transition" wg kryterium: Temat

Wyświetlanie 1-10 z 70

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Wpływ niemieckiej Energiewende na transformację energetyczną w Unii Europejskiej
The impact of German Energiewende on the energy transition in the European Union
Autorzy:: Kochanek Ewelina
Tematy:: energy security
energy transformation
Energiewende
systems transition
EU energy transition; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Bisimulation and open maps for timed transition systems
Autorzy:: Nielsen, M.
Hune, T.
Data publikacji:: 1999
Słowa kluczowe:: bisimulation
timed transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Transition probabilities and transition systems
Autorzy:: Frej, B.
Data publikacji:: 2001
Słowa kluczowe:: Markov operator
transition probability
transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Transition systems without transitions
Autorzy:: Borzyszkowski, A. M.
Darondeau, P.
Data publikacji:: 2003
Słowa kluczowe:: 2-structures
transition systems
elementary systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Autorzy:: Devillers, Raymond
Data publikacji:: 2021
Słowa kluczowe:: labelled transition systems
composition
decomposition
Petri net synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The AltaRica formalism for describing concurrent systems
Autorzy:: Arnold, A.
Point, G.
Griffault, A.
Rauzy, A.
Data publikacji:: 1999
Słowa kluczowe:: AltaRica
safety critical systems
transition systems
hierarchical systems
synchronization
interface coordination; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Nested Petri Nets: Multi-level and Recursive Systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2001
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2000
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Autorzy:: Gribovskaya, N.
Virbitskaite, I.
Data publikacji:: 2009
Słowa kluczowe:: timed transition systems
timed delay equivalence
category theory
open maps; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Comparing Refinements for Failure and Bisimulation Semantics
Autorzy:: Eshuis, R.
Fokkinga, M.M.
Data publikacji:: 2002
Słowa kluczowe:: refinement
Labelled Transition Systems (LTS)
bisimulation semantics
failure semantics
decorated traces; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 70

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ę "systems transition" wg kryterium: Temat