Concepedia

Axel Belinfante

AB

3

Publications

110

Citations

3

H-Index

1999

Active since

Affiliations

University of Twente(Current)

Axel Belinfante is an author at University of Twente specializing in engineering, computer engineering, and systems engineering.

Top concepts

Publications per year

1999–2013

3

Publications

3

Automatic Testing with Formal Methods

Jan Tretmans, Axel Belinfante · Data Archiving and Networked Services (DANS) · 1999 · 86 citations · Full text

The term processor Kimwitu, manual and cookbook

Peter van Eijk, Axel Belinfante · Data Archiving and Networked Services (DANS) · 2000 · 13 citations · Full text

, , +8

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga et al. · Science of Computer Programming · 2013 · 11 citations · Full text

Rows per page

1–3 of 3