Login / Signup
Matej Petrinovic
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Specification
Component Based Development
Commercial Off The Shelf
Source Code
Top Venues
CoRR
</>
Publications
</>
Stjepan Gros
,
Ivan Kovacevic
,
Ivan Dujmic
,
Matej Petrinovic
Controlled Update of Software Components using Concurrent Exection of Patched and Unpatched Versions.
CoRR
(2021)