Temat: model formalny - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Intermittent fault’s parameter framework and stochastic petri net based formalization model
Model parametryczny niezdatności przejściowej oraz model formalny oparty na stochastycznej sieci Petriego
Autorzy:: Shen, Q.
Qiu, J.
Liu, G.
Lv, K.
Tematy:: intermittent fault
parameter framework
stochastic Petri nets
formalization model
niezdatność przejściowa
model parametryczny
stochastyczna sieć Petriego
model formalny; Pokaż więcej
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:: Klimek, R.
Szwed, P.
Tematy:: UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau; Pokaż więcej
Data publikacji:: 2010
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Namysł – rozmowa – działanie. Teoretyczny model publicznej deliberacji
Reflection – communication – action. Theoretical model of public deliberation
Autorzy:: Zgiep, Marcin
Tematy:: demokracja deliberatywna
deliberacja publiczna
komunikacja
zasada wzajemności
argumentacja recyprokalna
model formalny
kontekst empiryczny
deliberative democracy
public deliberation
communication
reciprocity principle
reciprocal argumentation
formal model
empirical context; Pokaż więcej
Data publikacji:: 2013
Wydawca:: Łódzkie Towarzystwo Naukowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Optymalizacja realizacji układowej hierarchicznych sieci Petriego
The implementation optimization of the hierarchical Petri nets
Autorzy:: Stasiak, A.
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego
Validation and verification methods of the digital microsystem functional specification
Autorzy:: Stasiak, A.
Skowroński, Z.
Tematy:: projektowanie zintegrowane
sieci Petriego
model formalny
systemy osadzone
systemy cyfrowe
mikrosystemy cyfrowe
FPGA
hardware-software codesign
Petri nets
formal model
embedded systems
digital systems
digital microsystems
PLD; Pokaż więcej
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Umiarkowanie i jego modele
Autorzy:: Trzcieniecka-Schneider, Irena
Tematy:: Aristotelian ethics
Epicurean ethics
golden mean
temperance
conceptual analysis
logical analysis
formal models
etyka Arystotelesa
etyka Epikura
złoty środek
umiarkowanie
analiza pojęciowa
analiza logiczna
model formalny; Pokaż więcej
Data publikacji:: 2017
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja