Temat: logika formalna - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Formalna weryfikacja automatycznego zrównoleglenia procesów
Autorzy:: Dziurzański, P.
Karpicki, M.
Data publikacji:: 2006
Słowa kluczowe:: formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Changing probabilistic beliefs in persuasion
Autorzy:: Budzyńska, K.
Kacprzak, M.
Data publikacji:: 2010
Słowa kluczowe:: perswazja
przekonania
ogika prawdopodobieństwa
formalna weryfikacja
logika prawdopodobieństwa
persuasion
beliefs
probabilistic logic
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal verification of embedded logic controller specification with computer deduction in temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Słowa kluczowe:: formalna weryfikacja
wbudowane sterowniki logiczne
logika temporalna
elektrotechnika
elektroenergetyka
formal verification
embedded logic controllers
temporal logic
electrical technology
electrical power engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From workflow design patterns to logical specifications
Autorzy:: Klimek, R.
Data publikacji:: 2013
Słowa kluczowe:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Słowa kluczowe:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja