Login / Signup
Wojciech Szmuc
ORCID
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 4
Top Topics
Embedded Real Time Systems
Formal Verification
Petri Net
Ims Ld
Top Venues
MIXDES
</>
Publications
</>
Tomasz Szmuc
,
Wojciech Szmuc
Rigorous Development of Embedded Systems Supported by Formal Tools.
MIXDES
(2020)
Tomasz Szmuc
,
Wojciech Szmuc
Consistency Preserving Development of Embedded Systems Using AADL.
MIXDES
(2020)
Wojciech Szmuc
,
Tomasz Szmuc
Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.
MIXDES
(2018)
Wojciech Szmuc
,
Tomasz Szmuc
Modeling UML object event handling with Petri nets.
MIXDES
(2016)