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)





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