Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

2018
[dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora	Informacje o Autorze w systemach zewnętrznych
ORCID: 0000-0003-4925-3271 ResearcherID: B-8372-2013 Scopus: 6507007631 PBN: 5e70922c878c28a047391204	OPI Nauka Polska System Informacyjny AGH (SkOs)

Identyfikatory Autora

Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

sortowanie:

1

Tytuł	Alvis approach to modeling and verification of real-time systems running on single-processor environment
Autorzy	Marcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH
Źródło	IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2022 vol. 10, s. 104178–104189. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617

keywords: system verification, Alvis language, discrete time systems, formal languages, system analysis and design, single processor hardware

Zobacz pełny wykaz publikacji Autora/Autorów: Jarosław Baniewicz, Andrei Karatkevich

cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3210191

2

Tytuł	Język modelowania Alvis
Autorzy	Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI
Źródło	Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — S. 135–144

słowa kluczowe: systemy czasu rzeczywistego, metody formalne, systemy wbudowane, systemy współbieżne, weryfikacja modelowa, język Alvis

keywords: formal methods, real time systems, embedded systems, concurrent systems, Alvis language, model verification

Zobacz pełny wykaz publikacji Autora/Autorów: Michał Wypych, Andrei Karatkevich, Konrad Zaworski

cyfrowy identyfikator dokumentu: 10.7494/978-83-66727-89-2_8