Wszystkie pola: FORMAL - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
Autorzy:: Adamski, M.
Skowroński, Z.
Data publikacji:: 2003
Słowa kluczowe:: sieci Petriego
programowanie zintegrowane
mikroprocesorowe systemy sprzętowo-programowe
Petri nets
formal model in hardware/sofrware codesign; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
Interpreted Petri nets as a formal model in hardware/software codesign
Autorzy:: Adamski, M.
Skowroński, Z.
Data publikacji:: 2003
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sieci Petriego
programowanie zintegrowane
mikroprocesorowe systemy sprzętowo-programowe
Petri nets
formal model in hardware/sofrware codesign; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:: Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Data publikacji:: 2012
Słowa kluczowe:: UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:: Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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ł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Petri nets and activity diagrams in logic controller specification – transformation and verification
Autorzy:: Grobelna, I.
Grobelny, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2011
Słowa kluczowe:: przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: przestrzeń stanów interpretowanej sieci Petriego
kodowanie stanów lokalnych
kodowanie stanów globalnych
hipergraf sekwencyjności
wnioskowanie formalne
sekwenty Gentzena
interpreted Petri net state space
local and global state encoding
hyperpgraph
formal reasoning
gentzen sequents
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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ł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Wszystkie pola