Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

profesor nadzwyczajny

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5011-8248 orcid iD

ResearcherID: B-1403-2015

Scopus: 8410478100

PBN: 5e70925b878c28a047394558

System Informacyjny AGH (SkOs)

1

  • Język modelowania Alvis — Alvis modelling language / Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5 ; e-ISBN: 978-83-66727-89-2. — S. 135–144. — Bibliogr. s. 143–144, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0601/NTT_tom4_135.pdf

    orcid iD

  • 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: Marcin Szpyrka, Michał Wypych, Konrad Zaworski

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

2

  • Minimization of SM-covers of Petri net specifications of control systems / Andrei KARATKEVICH, Łukasz Stefanowicz // W: MIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26\textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — ISBN podany dla pełnego tekstu. — ISBN: 978-83-63578-15-2. — S. 132. — Bibliogr. s. 132. — Pełny tekst w: MIXDES 2019 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Rzeszów, June 27–29, 2019 : proceedings of the 26\textsuperscript{th} conference / ed. Andrzej Napieralski. — Dane tekstowe. — Wersja do Windows. — [Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, 2019]. — 1 dysk optyczny. — ISBN 978-83-63578-15-2. — S. 398–403. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 402–403, Abstr.

    orcid iD

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2019.8787097