Wykaz publikacji wybranego autora

Wojciech Szmuc, 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-0247-6507 orcid iD

ResearcherID: brak

Scopus: 36626711900

PBN: 5e70922c878c28a047391202

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • A scheme for censorship of sensitive image content with high-quality reconstruction ability
2
  • Consistency preserving development of embedded systems using AADL
3
  • Cross modeling of embedded systems using SysML and Petri Nets
4
  • From UML object behavior description into Petri net models
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
  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
11
  • Rigorous development of embedded systems supported by formal tools
12
  • Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
13
  • Towards embedded systems formal verification