Wojciech Szmuc

According to our database, Wojciech Szmuc authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2020

Rigorous Development of Embedded Systems Supported by Formal Tools.

Tomasz Szmuc, Wojciech Szmuc

Proceedings of the 27th International Conference on Mixed Design of Integrated Circuits and System, 2020

Consistency Preserving Development of Embedded Systems Using AADL.

Tomasz Szmuc, Wojciech Szmuc

Proceedings of the 27th International Conference on Mixed Design of Integrated Circuits and System, 2020

2018

Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.

Wojciech Szmuc, Tomasz Szmuc

Proceedings of the 25th International Conference "Mixed Design of Integrated Circuits and System", 2018

2016

Modeling UML object event handling with Petri nets.

Wojciech Szmuc, Tomasz Szmuc

Proceedings of the 2016 MIXDES, 2016