Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.

asystent

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

[dyscyplina wiodąca] 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-0247-6507

ResearcherID: brak

Scopus: 36626711900

PBN: 909863

OPI Nauka Polska

System Informacyjny AGH (SkOs)




Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 13, z ogólnej liczby 14 publikacji Autora


1
  • A formal approach to modelling of real-time systems using RTCP-nets
2
  • A scheme for censorship of sensitive image content with high-quality reconstruction ability
3
  • Hybrid modeling of software systems – UML/Petri nets approach
4
  • INSIGMA [Dokument elektroniczny]
5
  • Method and system for restricting access to sensitive contents of digital images
6
  • Method and system for restricting access to sensitive contents of digital images
7
  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
8
  • Modeling UML object event handling with Petri Nets
9
  • Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego
10
  • RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
11
  • Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
12
  • Towards embedded systems formal verification
13
  • Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego