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

Model learning

Vaandrager, F.

Publication date

January 2017

DOI

10.1145/3015571

Publisher

Association for Computing Machinery (ACM)

ISSN

0001-0782

Citation count (estimate)

16

Abstract

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

Extracted data

Related items

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

A software product certification model

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

January 2010

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

Conceptual model: causal model

Doorewaard, J.A.C.M.

January 2010

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

Language Models

Hiemstra, D.

January 2009

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

Hiemstra, D.

January 2009

Contains fulltext : 227631.pdf (publisher's version ) (Open Access

Model Learning and Testing (and some observations on formal methods research in the Netherlands)

Vaandrager, F.

January 2019

Contains fulltext : 207660.pdf (publisher's version ) (Open Access

Grössler, A.

January 2008

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

The Model-Model of the Theory-Theory

Slors, M.V.P.

January 2012

Contains fulltext : 101366_aut.pdf (author's version ) (Open Access)21 p

Model-based programming environments for spreadsheets

Cunha, J.
Mendes, J.
Saraiva, J.
Visser, J.

January 2014

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

Object-oriented modelling based on logbooks

Bommel, P. van
Frederiks, P.J.M.
Weide, T.P. van der

January 1996

Contains fulltext : 28418___.PDF (publisher's version ) (Open Access

Playing ArchiMate Models

Groenewegen, J.
Hoppenbrouwers, S.J.B.A.
Proper, E.

January 2010

Contains fulltext : 84174.pdf (preprint version ) (Closed access

Learning2Reason

Kühlwein, D.A.
Urban, J.
Tsivtsivadze, E.
Geuvers, H.
Heskes, T.

January 2011

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

An Approach to Learning by Construction

Bagarukayo, E.
Weide, T.P. van der
Meijden, H. van der

January 2012

Contains fulltext : 103643.pdf (publisher's version ) (Open Access

Towards Model-Based Testing of Web Services

Frantzen, L.
Tretmans, J.
Vries, R. de

January 2006

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

Marchiori, E.

January 2000

Contains fulltext : 84510.pdf (author's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

A software product certification model

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

January 2010

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

Conceptual model: causal model

Doorewaard, J.A.C.M.

January 2010

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

Language Models

Hiemstra, D.

January 2009

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

Hiemstra, D.

January 2009

Contains fulltext : 227631.pdf (publisher's version ) (Open Access

Model Learning and Testing (and some observations on formal methods research in the Netherlands)

Vaandrager, F.

January 2019

Contains fulltext : 207660.pdf (publisher's version ) (Open Access

Grössler, A.

January 2008

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

The Model-Model of the Theory-Theory

Slors, M.V.P.

January 2012

Contains fulltext : 101366_aut.pdf (author's version ) (Open Access)21 p

Model-based programming environments for spreadsheets

Cunha, J.
Mendes, J.
Saraiva, J.
Visser, J.

January 2014

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

Object-oriented modelling based on logbooks

Bommel, P. van
Frederiks, P.J.M.
Weide, T.P. van der

January 1996

Contains fulltext : 28418___.PDF (publisher's version ) (Open Access

Playing ArchiMate Models

Groenewegen, J.
Hoppenbrouwers, S.J.B.A.
Proper, E.

January 2010

Contains fulltext : 84174.pdf (preprint version ) (Closed access

Learning2Reason

Kühlwein, D.A.
Urban, J.
Tsivtsivadze, E.
Geuvers, H.
Heskes, T.

January 2011

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

An Approach to Learning by Construction

Bagarukayo, E.
Weide, T.P. van der
Meijden, H. van der

January 2012

Contains fulltext : 103643.pdf (publisher's version ) (Open Access

Towards Model-Based Testing of Web Services

Frantzen, L.
Tretmans, J.
Vries, R. de

January 2006

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

Marchiori, E.

January 2000

Contains fulltext : 84510.pdf (author's version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

A software product certification model

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

January 2010

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

Conceptual model: causal model

Doorewaard, J.A.C.M.

January 2010

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