Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

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-1231-3867 połącz konto z ORCID

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 5e70922c878c28a047391206

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Verification of relative correctness of Petri nets / Piotr SZWED // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 295–300. — Bibliogr. s. 300, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • Verification of the correctness of Real Time systems specified with timed Petri nets / Piotr SZWED // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 289–294. — Bibliogr. s. 294, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: