Login / Signup
Victor Bos
Publication Activity (10 Years)
Years Active: 2000-2016
Publications (10 Years): 2
Top Topics
Space Partitioning
Software Package
Similarity Queries
Software Development
Top Venues
SAFECOMP
ISSRE Workshops
</>
Publications
</>
Victor Bos
,
Harold Bruintjes
,
Stefano Tonetta
Catalogue of System and Software Properties.
SAFECOMP
(2016)
Victor Bos
,
Timo Vepsäläinen
,
Yuliya Prokhorova
,
Timo Latvala
Time and Space Partitioning Using On-Board Software Reference Architecture.
ISSRE Workshops
(2016)
Victor Bos
,
J. J. T. Kleijn
Redesign of a Systems Engineering Language: Formalisation of X.
Formal Aspects Comput.
15 (4) (2003)
D. A. van Beek
,
Victor Bos
,
Jacobus E. Rooda
Declaration of unknowns in DAE-based hybrid system specification.
ACM Trans. Model. Comput. Simul.
13 (1) (2003)
Victor Bos
,
J. J. T. Kleijn
Formalisation of a Production System Modelling Language The operational semantics of c Core.
Fundam. Informaticae
41 (4) (2000)