Temat: formal modeling - 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 modeling" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: A safety related perspective for the power supply systems in railway industry
Bezpieczeństwo systemów zasilania w przemyśle kolejowym
Autorzy:: Oz, M. A.
Kaymakci, O. T.
Koyun, A.
Tematy:: Markov models
reliability
formal modeling
modele Markowa
niezawodność
modelowanie formalne; Pokaż więcej
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Languages in Problem Solving and Modeling
Autorzy:: Śliwa, Kazimierz
Data publikacji:: 2012
Wydawca:: Wyższa Szkoła Biznesu - National Louis Univeristy
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Languages in Problem Solving and Modeling
Autorzy:: Śliwa, Kazimierz
Tematy:: problem modeling and solving
formal modeling languages
expert and interactive
approach to problem modeling
SEQUAL
System Dynamics language; Pokaż więcej
Data publikacji:: 2012
Wydawca:: Fundacja Upowszechniająca Wiedzę i Naukę Cognitione
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Cross modeling of embedded systems using SysML and Petri Nets
Autorzy:: Szmuc, Wojciech
Szmuc, Tomasz
Tematy:: embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja; Pokaż więcej
Data publikacji:: 2018
Wydawca:: Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
Modeling of dynamic phenomena in spatial planning with the use of formal ontology
Autorzy:: Łukowicz, J.
Iwaniak, A.
Strzelecki, M.
Kaczmarek, I.
Tematy:: ontologia
modelowanie
planowanie przestrzenne
Description Logic
ontologia formalna
model czasoprzestrzenny
ontology
modeling
spatial planning
description logic
formal ontology
spatio-temporal model; Pokaż więcej
Data publikacji:: 2014
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Tematy:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Metodyka budowy komputerowych systemów srk
Methodology of construction of computer systems for atc
Autorzy:: Maciejewski, M.
Zabłocki, W.
Tematy:: ruch kolejowy
system
metoda
sterowanie
projektowanie
modelowanie
automat
specyfikacja systemu
opis formalny
cykl V
droga przebiegu
rail traffic
method
control
project
modeling
machine (automat)
specification for the system
formal description
cycle V
route of the Road; Pokaż więcej
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

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