Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

A software product certification model

Heck, P.
Klabbers, M.
Eekelen, M.C.J.D. van

Publication date

January 2010

DOI

10.1007/s11219-009-9080-0

Publisher

Springer Science and Business Media LLC

Abstract

Contains fulltext : 84342.pdf (publisher's version ) (Closed access)19 p

Extracted data

Related items

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p

Heukelom, F.

January 2009

Contains fulltext : 78485.pdf (publisher's version ) (Closed access)1 p

Continuing professional development

Collin, K.
Heijden, B.I.J.M. van der
Lewis, P.

January 2012

Contains fulltext : 112132.pdf (publisher's version ) (Closed access)9 p

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33162.pdf (publisher's version ) (Closed access

Simulating the environment of embedded software

Hooman, J.J.M.

January 2006

Contains fulltext : 35397.pdf (publisher's version ) (Closed access

Vaandrager, F.

January 2017

Contains fulltext : 168710.pdf (Publisher’s version ) (Open Access

Automated verification of termination certificates

Blanqui, F.
Koprowski, A.

January 2009

Contains fulltext : 75147.pdf (publisher's version ) (Open Access)21 p

Modelgebaseerde verificatie en validatie loont

Vaandrager, F.W.

January 2006

Contains fulltext : 35657.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Professionele communicatie

Janssen, D.
Jansen, C.J.M.
Jansen, F.

January 2000

Contains fulltext : 74344.pdf (publisher's version ) (Closed access

Conceptual model: operationalization

Doorewaard, J.A.C.M.

January 2010

Contains fulltext : 87074.pdf (publisher's version ) (Closed access

Language Models

Hiemstra, D.

January 2009

Contains fulltext : 227630.pdf (preprint version ) (Open Access

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p

Heukelom, F.

January 2009

Contains fulltext : 78485.pdf (publisher's version ) (Closed access)1 p

Continuing professional development

Collin, K.
Heijden, B.I.J.M. van der
Lewis, P.

January 2012

Contains fulltext : 112132.pdf (publisher's version ) (Closed access)9 p

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33162.pdf (publisher's version ) (Closed access

Simulating the environment of embedded software

Hooman, J.J.M.

January 2006

Contains fulltext : 35397.pdf (publisher's version ) (Closed access

Vaandrager, F.

January 2017

Contains fulltext : 168710.pdf (Publisher’s version ) (Open Access

Automated verification of termination certificates

Blanqui, F.
Koprowski, A.

January 2009

Contains fulltext : 75147.pdf (publisher's version ) (Open Access)21 p

Modelgebaseerde verificatie en validatie loont

Vaandrager, F.W.

January 2006

Contains fulltext : 35657.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Professionele communicatie

Janssen, D.
Jansen, C.J.M.
Jansen, F.

January 2000

Contains fulltext : 74344.pdf (publisher's version ) (Closed access

Conceptual model: operationalization

Doorewaard, J.A.C.M.

January 2010

Contains fulltext : 87074.pdf (publisher's version ) (Closed access

Language Models

Hiemstra, D.

January 2009

Contains fulltext : 227630.pdf (preprint version ) (Open Access

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p

Heukelom, F.

January 2009

Contains fulltext : 78485.pdf (publisher's version ) (Closed access)1 p

Continuing professional development

Collin, K.
Heijden, B.I.J.M. van der
Lewis, P.

January 2012

Contains fulltext : 112132.pdf (publisher's version ) (Closed access)9 p