Login / Signup
Victor Vasilyev
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Functional Requirements
Dynamic Reconfiguration
Open Source
Linux Kernel
Top Venues
MACIS
</>
Publications
</>
Michael Kohlhase
,
Luca De Feo
,
Dennis Müller
,
Markus Pfeiffer
,
Florian Rabe
,
Nicolas M. Thiéry
,
Victor Vasilyev
,
Tom Wiesing
Knowledge-Based Interoperability for Mathematical Software Systems.
MACIS
(2017)