Temat: Model Checking - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych
Autorzy:: Męski, A.
Penczek, W.
Rozenberg, G.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Regułowa reprezentacja interpretowanych sieci Petriego sterowania dla potrzeb syntezy i weryfikacji
Rule-based representation of Control Interpreted Petri Nets for synthesis and verification purposes
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: weryfikacja modelowa
interpretowane sieci Petriego sterowania
synteza logiczna
model checking
control interpreted Petri nets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:: Grobelny, M.
Grobelna, I.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV
Verification of logic controller requirements specification by means of UML activity diagrams, LTL temporal logic and NuSMV tool
Autorzy:: Grobelna, I.
Grobelny, M.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: diagramy aktywności UML
specyfikacja
model logiczny
weryfikacja modelowa
logika temporalna
UML activity diagrams
specification
logical model
model checking
temporal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
Model checking of hierarchical logic controller specification
Autorzy:: Grobelna, I.
Grobelny, M.
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: hierarchia
interpretowane sieci Petriego
diagramy aktywności UML
weryfikacja modelowa
hierarchy
interpreted Petri nets
UML activity diagrams
model checking; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:: Klimek, R.
Szwed, P.
Data publikacji:: 2010
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Weryfikacja modelowa interpretowanych sieci Petriego sterowania
Model checking of control interpreted Petri Nets
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: weryfikacja modelowa
sterownik logiczny
interpretowane sieci Petriego sterowania
logika temporalna
model checking
logic controller
control interpreted Petri nets
temporal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Cooperation of multiple autonomous robots and analysis of their swarm behawior
Współpraca roju autonomicznych robotów i analiza ich zbiorowych zachowań
Autorzy:: Czejdo, B.
Daszczuk, W. B.
Grabski, W.
Bhattacharya, S.
Data publikacji:: 2018
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:: autonomous robots
behavior verification
model checking
integrated model of distributed systems
deadlock
termination
autonomiczne roboty
weryfikacja zachowań
weryfikacja modelowa
zintegrowany model systemów rozproszonych
zakleszczenie
terminacja; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:: Daszczuk, W. B.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Petri nets and activity diagrams in logic controller specification – transformation and verification
Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
Autorzy:: Grobelna, I.
Grobelny, M.
Adamski, M.
Data publikacji:: 2010
Wydawca:: Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:: 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:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Model Checking" wg kryterium: Temat