Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.

asystent

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

[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: 15, z ogólnej liczby 16 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
  • Cross modeling of embedded systems using SysML and Petri Nets
4
  • From UML object behavior description into Petri net models
5
  • Hybrid modeling of software systems – UML/Petri nets approach
6
  • INSIGMA [Dokument elektroniczny]
7
  • Method and system for restricting access to sensitive contents of digital images
8
  • Method and system for restricting access to sensitive contents of digital images
9
  • Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
10
  • Modeling UML object event handling with Petri Nets
11
  • Modelowanie konstrukcji obiektowych języka UML z zastosowaniem kolorowych sieci Petriego
12
  • RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
13
  • Sposób i układ do zabezpieczania dostępu do wrażliwych treści obrazów cyfrowych
14
  • Towards embedded systems formal verification
15
  • Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego