Concepedia

S.F.M. van Vlijmen

SV

6

Publications

171

Citations

6

H-Index

1994

Active since

Affiliations

Vrije Universiteit Amsterdam(Current)

S.F.M. van Vlijmen is an author at Vrije Universiteit Amsterdam specializing in engineering, formal methods, and system software.

Top concepts

Publications per year

1994–2019

6

Publications

6

The safety guaranteeing system at station Hoorn-Kersenboogerd

Jan Friso Groote, S.F.M. van Vlijmen, J.W.C. Koorn · 2002 · 77 citations

, , +24

Lessons from Dutch IT-outsourcing success and failure

G.P.A.J. Delen, R.J. Peters, C. Verhoef et al. · Science of Computer Programming · 2016 · 36 citations

, , +8

The safety guaranteeing system at station Hoorn-Kersenboogerd

Jan Friso Groote, S.F.M. van Vlijmen, J.W.C. Koorn · 1994 · 23 citations · Full text

The Syntax and Semantics of mCRL

Jan Friso Groote, Alban Ponse, C. Verhoef et al. · Data Archiving and Networked Services (DANS) · 1994 · 13 citations

, , +7

The Safety Guaranteeing System at Station Hoorn-Kersenboogerd (Extended Abstract )

Jan Friso Groote, S.F.M. van Vlijmen, J.W.C. Koorn · 1995 · 12 citations

, , +23

Rows per page

1–5 of 6