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
  • INSIGMA [Dokument elektroniczny]
2
  • INSIGMA [Dokument elektroniczny]
3
  • INSIGMA [Dokument elektroniczny]
4
  • Integration of classical and agile project management methodologies based on ontological models
5
  • IOEM – metodyka inżynierii ontologii w projekcie INSIGMA
6
  • Modeling and recognition of video events with Fuzzy Semantic Petri Nets
7
  • Poprawność względna sieci Petriego dla liniowej funkcji obserwacji
8
  • System i sposób zarządzania regułami sterowania sygnalizacją świetlną na skrzyżowaniu
9
  • Verification of relative correctness of Petri nets
10
  • Verification of the correctness of Real Time systems specified with timed Petri nets
11
  • Weryfikacja poprawności względnej sieci Petriego
12
  • Zastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych
13
  • Zastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych
14
  • Zastosowanie liniowej funkcji obserwacji do analizy poprawności oprogramowania współbieżnego
15
  • Zastosowanie liniowej funkcji obserwacji do analizy poprawności systemów czasu rzeczywistego
16
  • Zastosowanie liniowej funkcji obserwacji do weryfikacji poprawności systemów czasu rzeczywistego
17
  • Zastosowanie ontologii do wspomagania decyzji w podsystemie wyznaczania trasy INSIGMA