Victor Bos

According to our database, Victor Bos authored at least 5 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Catalogue of System and Software Properties.

Victor Bos, Harold Bruintjes, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2016

Time and Space Partitioning Using On-Board Software Reference Architecture.

Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2003

Declaration of unknowns in DAE-based hybrid system specification.

D. A. van Beek, Victor Bos, Jacobus E. Rooda

ACM Trans. Model. Comput. Simul., 2003

Redesign of a Systems Engineering Language: Formalisation of X.

Victor Bos, J. J. T. Kleijn

Formal Aspects Comput., 2003

2000

Formalisation of a Production System Modelling Language The operational semantics of c Core.

Victor Bos, J. J. T. Kleijn

Fundam. Informaticae, 2000