Wszystkie pola: formal verification of specification

Skocz do pozycji: 1.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Computer-aided specification and verification of formal description for interlocking functions
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

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.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
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
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Quality oriented specification of logic controllers
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
Diagramy Maszyny Stanów UML
sieci Petriego
diagramy SFC
embedded systems
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
diagram maszyny stanów
UML
sieci Petriego
diagramy SFC
embedded system
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2014
Słowa kluczowe:: sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

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ł

Szczegóły

Informacja