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

Modelltests

Grössler, A.

Publication date

January 2008

Publisher

Frankfurt : Frankfurt School Verlag

Abstract

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

Extracted data

Related items

Vaandrager, F.

January 2017

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

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

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

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

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

Reddy, PS
Haque, M.S.
Vries, M.S. de

January 2008

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

Language Models

Hiemstra, D.

January 2009

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

Hooft, A.P.J.V. van

January 2008

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

Geurts, B.

January 2009

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

Modelgebaseerde verificatie en validatie loont

Vaandrager, F.W.

January 2006

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

Playing ArchiMate Models

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

January 2010

Contains fulltext : 84174.pdf (preprint 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

Breedveld, K.
Pulles, I.

January 2016

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

The model- and the data-gamma

Fries, P.

January 2010

Contains fulltext : 83865.pdf (publisher's version ) (Closed access)2 p

Bartels, S.E.
Everaars, K.

January 2017

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

Kramsch, O.T.

January 2012

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

Authors' response

Albers, M.
Schermer, T.R.J.
Heijdra, Y.F.
Molema, J.
Akkermans, R.P.
Weel, C. van

January 2008

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

Vaandrager, F.

January 2017

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

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

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

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

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

Reddy, PS
Haque, M.S.
Vries, M.S. de

January 2008

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

Language Models

Hiemstra, D.

January 2009

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

Hooft, A.P.J.V. van

January 2008

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

Geurts, B.

January 2009

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

Modelgebaseerde verificatie en validatie loont

Vaandrager, F.W.

January 2006

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

Playing ArchiMate Models

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

January 2010

Contains fulltext : 84174.pdf (preprint 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

Breedveld, K.
Pulles, I.

January 2016

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

The model- and the data-gamma

Fries, P.

January 2010

Contains fulltext : 83865.pdf (publisher's version ) (Closed access)2 p

Bartels, S.E.
Everaars, K.

January 2017

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

Kramsch, O.T.

January 2012

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

Authors' response

Albers, M.
Schermer, T.R.J.
Heijdra, Y.F.
Molema, J.
Akkermans, R.P.
Weel, C. van

January 2008

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

Vaandrager, F.

January 2017

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

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

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

Automata-Based CSL Model Checking

Zhang, L.
Jansen, D.N.
Nielson, F.
Hermanns, H.

January 2011

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