Temat: systems verification

Skocz do pozycji: 1.

Tytuł:: Branching Time Bounded Model Checking for Elementary Net Systems
Autorzy:: Penczek, W.
Woźna, B.
Zbrzezny, A.
Data publikacji:: 2001
Słowa kluczowe:: ograniczona weryfikacja modelowa
sieci elementarne
weryfikacja systemów
bounded model checking
elementary net systems
systems verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Synthesis of pneumatic systems in the control of the transport line of rolling elements
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Cedro, Leszek
Data publikacji:: 2023
Słowa kluczowe:: pneumatic systems
delay execution systems
synthesis
verification of sequential systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Synthesis of pneumatic systems in the control of the transport line of rolling elements
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Cedro, Leszek
Data publikacji:: 2023
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: pneumatic systems
delay execution systems
synthesis
verification of sequential systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Słowa kluczowe:: ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: synthesis and verification of sequential systems
ladder diagram
PLC programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Autorzy:: Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Data publikacji:: 2020
Słowa kluczowe:: ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Data publikacji:: 2022
Słowa kluczowe:: synthesis and verification of sequential systems
ladder diagram
PLC programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Verification mechanism for lightweight componenent-based environment based on ioc container
Autorzy:: Leszko, R.
Piętak, K.
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: verification
component-based systems
functional integrit; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Verification mechanism for lightweight componenent-based environment based on ioc container
Autorzy:: Leszko, R.
Piętak, K.
Data publikacji:: 2013
Słowa kluczowe:: verification
component-based systems
functional integrit; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: A Formalization of Transition P Systems
Autorzy:: Jiménez, M.J.
Sancho-Caparrini, F.
Data publikacji:: 2002
Słowa kluczowe:: natural computing
P systems
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Superposition Principle in Composable Hybrid Automata
Autorzy:: Akhundov, J.
Tröger, P.
Werner, M.
Data publikacji:: 2018
Słowa kluczowe:: composition
hybrid automata
hybrid systems
linear systems
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A signal extension for Petri nets and its use in controller design
Autorzy:: Hanisch, H.-M.
Lüder, A.
Data publikacji:: 2000
Słowa kluczowe:: controller verification
discrete event systems
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Verification of Concurrent Systems with Parametric Delays Using Octahedra
Autorzy:: Clarisó, R.
Cortadella, J.
Data publikacji:: 2007
Słowa kluczowe:: formal verification
abstract interpretation
parametric timed systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Software for data acquisition with options for multimeter calibration and verification of its accuracy
Autorzy:: Tabisz, R.
Zawisza, P.
Data publikacji:: 2017
Słowa kluczowe:: data acquisition
calibration
accuracy verification
measurements management systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Application of OBDD Diagrams in Verification of Tabular Rule Systems
Autorzy:: Szwed, P.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: binary decision diagrams
OBDD
tabular rule systems
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: On the relationships among four timed process algebras
Autorzy:: Corradini, F.
D'Ortenzio, D.
Inverardi, P.
Data publikacji:: 1999
Słowa kluczowe:: distributed systems
specification
verification
timed process algebras; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: The MODUS Approach to Formal Verification
Autorzy:: Lukasz Brewka
José Soler
Michael Berger
Data publikacji:: 2014-03-01
Tematy:: software quality
formal verification
embedded systems
translation tool selection; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: D-nets - Petri net form of rule-based systems
Autorzy:: Szpyrka, M.
Szmuc, T.
Data publikacji:: 2006
Słowa kluczowe:: rule-based systems
decision table
D-nets
design
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Software for data acquisition with options for multimeter calibration and verification of its accuracy
Autorzy:: Tabisz, R.
Zawisza, P.
Data publikacji:: 2017
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: data acquisition
calibration
accuracy verification
measurements management systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Communication with Environment in Alvis Models
Autorzy:: Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Alvis modelling language
embedded systems
formal verification
communication with environment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Embedded Systems Development Tools: A MODUS-oriented Market Overview
Autorzy:: Michalis Loupis
Data publikacji:: 2014-03-01
Tematy:: embedded systems
formal verification
co-simulation
performance optimization
code generation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Local Verification Using a Distributed State Space
Autorzy:: Abid, C. A.
Zouari, B.
Data publikacji:: 2013
Słowa kluczowe:: distributed systems
modular verification
Petri nets
state space explosion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Nets with Tokens which Carry Data
Autorzy:: Lazić, R.
Newcomb, T.
Ouaknine, J.
Roscoe, A.W.
Worrell, J.
Data publikacji:: 2008
Słowa kluczowe:: Petri net
infinite-state systems
program verification
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Formal asynchronous systems modelling
Autorzy:: Kohn, M.
Schmeck, H.
Data publikacji:: 2000
Słowa kluczowe:: asynchronous systems
asynchronous computations
formal methods in systems modelling
abstract computations
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis
Autorzy:: Szpyrka, M.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: SyLVaaS : System Level Formal Verification as a Service
Autorzy:: Mancini, T.
Mari, F.
Massini, A.
Melatti, I.
Tronci, E.
Data publikacji:: 2016
Słowa kluczowe:: verification as a service
model checking
hybrid systems
system level formal
verification
distributed multi-core hardware
loop simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Formal modelling of IEC 61499 function blocks with integer-valued data types
Autorzy:: Gerber, C.
Ivanova-Vasileva, I.
Hanisch, H. M.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: modelling
verification
net condition/event systems
IEC 61499
closed-loop behaviour; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Slicing Timed Systems
Autorzy:: Janowska, A.
Janowski, P.
Data publikacji:: 2004
Słowa kluczowe:: static analysis
program slicing
system verification
timed systems
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Autorzy:: Kapoor, H.K.
Josephs, M.B.
Furey, D.P.
Data publikacji:: 2006
Słowa kluczowe:: delay-insensitive circuits
verification
process algebras
restrictive environments
closed systems
asynchronous circuitis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Formal modelling of IEC 61499 function blocks with integer-valued data types
Autorzy:: Gerber, C.
Ivanova-Vasileva, I.
Hanisch, H. M.
Data publikacji:: 2010
Słowa kluczowe:: modelling
verification
net condition/event systems
IEC 61499
closed-loop behaviour; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: A visual edition tool for design and verification of knowledge in rule-based systems
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
visual edition tool
knowledge verification
knowledge design
knowledge representation
expert systems
rule-based systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems
Autorzy:: Auer, E.
Luther, W.
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: układ wieloczłonowy
weryfikacja wyników
wrażliwość
niepewność
multibody systems
result verification
sensitivity
DAE
uncertainty; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Słowa kluczowe:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Introduction to Alvis modelling language
Wprowadzenie do języka modelowania Alvis
Autorzy:: Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems
Autorzy:: Auer, E.
Luther, W.
Data publikacji:: 2009
Słowa kluczowe:: układ wieloczłonowy
weryfikacja wyników
wrażliwość
niepewność
multibody systems
result verification
sensitivity
DAE
uncertainty; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Modelling concurrent systems with Alvis
Autorzy:: Szpyrka, M.
Data publikacji:: 2011
Słowa kluczowe:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded system
concurrent systems
modelling and verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A graphical tabular model for rule-based logic programming and verification
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
Prolog
logic programming
expert systems
graphical tabular model
formal verification procedures
visual information modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Bounded Model Checking for the Universal Fragment of CTL
Autorzy:: Penczek, W.
Woźna, B.
Zbrzezny, A.
Data publikacji:: 2002
Słowa kluczowe:: bounded model checking
logic ACTL (ECTL)
bounded semantics
translation to SAT
elementary eet systems
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Controlling Polyvariance for Specialization-based Verification
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Uwagi do weryfikacji modelu obliczeniowego drgań układów sterowania śmigłowców
Some remarks on the verification of a model calculating the vibration of the helicopters control systems
Autorzy:: Krzymień, W.
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:: lotnictwo
śmigłowce
model obliczeniowy drgań
układ sterowania smigłowców
aviation
helicopters
verification of a model calculating
helicopters control systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Uwagi do weryfikacji modelu obliczeniowego drgań układów sterowania śmigłowców
Autorzy:: Krzymień, W.
Data publikacji:: 2008
Słowa kluczowe:: lotnictwo
śmigłowiec
model obliczeniowy drgań
układ sterowania smigłowców
aviation
helicopters
verification of a model calculating
helicopters control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Metrological verification of cyber-physical systems
Autorzy:: Oleskiv, O.
Mykytyn, I.
Data publikacji:: 2015
Słowa kluczowe:: measuring instrument
software
metrological verification
cyber-physical systems
embedded control systems
intelligent sensor
przyrząd pomiarowy
oprogramowanie
kontrola metrologiczna
systemy cyberfizyczne
wbudowane systemy sterowania
czujnik inteligentny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Requirement Elicitation Techniques for Software Projects in Ukrainian IT: An Exploratory Study
Autorzy:: Gobov, Denys
Huchenko, Inna
Data publikacji:: 2020
Słowa kluczowe:: formal specification
formal verification
project management
software management
systems analysis
specyfikacja formalna
weryfikacja formalna
zarządzanie projektami
zarządzanie oprogramowaniem
analiza systemów; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Zastosowanie technik programowania CLP do planowania przepływu produkcji w przedsiębiorstwach produkcyjnych
Autorzy:: Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: język OPL
problem spełniania ograniczeń
system wariantowania zleceń
constraint logic programming
CLP
decision support systems
DSS
Production Order Verification System
POVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Autorzy:: Brzuchcz, R.
Data publikacji:: 2006
Słowa kluczowe:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Certification of Highly Complex Safety-Related Systems
Autorzy:: Reinert, D.
Schaefer, M.
Data publikacji:: 1999
Słowa kluczowe:: certification
complex electronic systems
numerical controller
power drive
machining centre
validation
verification
microcomputer
metrics
software
certyfikacja
systemy elektroniczne
centra obróbkowe
mikrokomputery
oprogramowanie; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: Modelowanie spłukiwania zanieczyszczeń stałych ze zlewni miejskich przy wykorzystaniu programu EPA SWMM. Cz. II. Kalibracja i weryfikacja modelu
Autorzy:: Zawilski, M.
Sakson, G.
Data publikacji:: 2014
Słowa kluczowe:: spływy opadowe
SWMM
spłukiwanie zanieczyszczeń
modelowanie systemów kanalizacyjnych
kalibracja
weryfikacja
stormwater runoff
pollutant wash-off
modelling of urban sewerage systems
calibration
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych
Autorzy:: Krystosik, A.
Gawkowski, P.
Data publikacji:: 2007
Słowa kluczowe:: język EMLAN
automat DT-CSM
oprogramowanie systemów wbudowanych
weryfikacja autoalarmu samochodowego
EMLAN language
embedded systems software
DT-CSM
verification of car immobilizer; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Certification of Highly Complex Safety-Related Systems
Autorzy:: Reinert, D.
Schaefer, M.
Data publikacji:: 1999
Wydawca:: Centralny Instytut Ochrony Pracy
Tematy:: certification
complex electronic systems
numerical controller
power drive
machining centre
validation
verification
microcomputer
metrics
software
certyfikacja
systemy elektroniczne
centra obróbkowe
mikrokomputery
oprogramowanie; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Strategia weryfikacji systemu na chipie oparta na mechaniźmie FDL
Autorzy:: Pułka, A.
Data publikacji:: 2010
Słowa kluczowe:: elektroniczne systemy wbudowane
weryfikacja formalna
przetwarzanie informacji niepełnej i niepewnej
asercja
SystemVerilog
electronic embedded systems
formal verification
incomplete and imprecise information handling
assertions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

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: 60.

Tytuł:: Cooperation of multiple autonomous robots and analysis of their swarm behawior
Autorzy:: Czejdo, B.
Daszczuk, W. B.
Grabski, W.
Bhattacharya, S.
Data publikacji:: 2018
Słowa kluczowe:: autonomous robots
behavior verification
model checking
integrated model of distributed systems
deadlock
termination
robot autonomiczny
weryfikacja zachowań
weryfikacja modelowa
zintegrowany model systemów rozproszonych
zakleszczenie
terminacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Towards a Formal Representation of Interactive Systems
Autorzy:: Banu-Demergian, I. T.
Stefanescu, G.
Data publikacji:: 2014
Słowa kluczowe:: parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study
Autorzy:: Staroletov, Sergey
Schulte, Horst
Baar, Thomas
Konyukhov, Ivan
Shilov, Nikolay
Rozov, Andrei
Liakh, Tatiana
Zyubin, Vladimir
Data publikacji:: 2021
Słowa kluczowe:: automata theory
cyber-physical systems
formal specification
formal verification
safety critical software
theorem proving
teoria automatów
systemy cyber-fizyczne
formalna specyfikacja
weryfikacja formalna
oprogramowanie krytyczne dla bezpieczeństwa
dowodzenie twierdzeń; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Bounded Model Cheking for Interpreted Systems
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2002
Słowa kluczowe:: logiki temporalne
interpretowane systemy
logika wiedzy
ograniczona weryfikacja modelowa
translacja do SAT
weryfikacja systemów
interpreted systems
temporal logics
logic for knowledge
bounded model checking
translation to SAT
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Application of formal methods for hardware/software co-design of embedded systems
Autorzy:: Piotrowicz, M.
Data publikacji:: 2007
Słowa kluczowe:: ko-projektowanie sterowników
ko-projektowanie
mieszane sterowniki wbudowane
sieci Petriego
logika temporalna
metody formalne
co-design of embedded system
co-verification
mixed hardware/software systems
Petri nets
temporal logic
formal methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: A Note on Analysis of BPMN Diagrams
Przyczynek do analizy diagramów BPMN
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

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

Skocz do pozycji: 67.

Tytuł:: A Note on Analysis of BPMN Diagrams
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: A Blockchain-based Transaction Verification Infrastructure in Public Transportation
Autorzy:: Saritas, Hidayet Burak
Kardas, Geylani
Data publikacji:: 2024
Słowa kluczowe:: blockchain technology
public transportation
co-payment systems
data verification
interoperability
transaction security
decentralized networks
zero-knowledge proofs
standardized data format
privacy preservation
technologia blockchain
transport publiczny
weryfikacja danych
interoperacyjność
bezpieczeństwo transakcji
format danych
ochrona prywatności; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:: Pauluk, Mariusz
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy wbudowane
jakość oprogramowania
kryzys oprogramowania
cykl życia oprogramowania
Model V
weryfikacja
walidacja
techniki testowania MIL
techniki testowania SIL
techniki testowania PIL
techniki testowania HIL
embedded systems
quality of software
software crisis
software life cycle
V-Model
verification
validation
MIL model-in-the-loop testing
SIL model-in-the-loop testing
PIL model-in-the-loop testing
HIL model-in-the-loop testing; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "systems verification" wg kryterium: Temat