Search CORE

1,721,051 research outputs found

Abstracting real-valued parameters in parameterised boolean equation systems

Author: Laveaux M
Laveaux M.
Publication venue
Publication date: 01/01/2018
Field of study

Pure OAI Repository

Quantitative model checking on probabilistic systems using pLμ

Author: Bunte O
Bunte O.
Publication venue
Publication date: 01/01/2017
Field of study

Pure OAI Repository

Instantiation of parameterised Boolean equation systems

Author: Dam A van
van Dam A.
Publication venue
Publication date: 01/01/2007
Field of study

Pure OAI Repository

Modeling and verifying concurrent data structures

Author: Paval R
Paval R.
Publication venue
Publication date: 01/01/2018
Field of study

Pure OAI Repository

The specification and validation of the OM/RR-protocol

Author: Willemse TAC Tim
Willemse T.A.C.
Publication venue
Publication date: 01/01/1998
Field of study

Pure OAI Repository

On-parse disambiguation in generalized LL parsing using attributes

Author: Mengerink JGM Josh
Mengerink J.G.M.
Publication venue
Publication date: 01/01/2014
Field of study

Pure OAI Repository

Parametrised Boolean equation systems

Author: Willemse TAC Tim
Groote JF Jan Friso
Publication venue
Publication date: 01/01/2005
Field of study

Preface

Author: Willemse TAC Tim
Larsen Kim Guldstrand
Publication venue
Publication date: 01/01/2019
Field of study

Test-based modeling

Author: Willemse T.A.C.; id_orcid
Willemse TAC Tim
Publication venue
Publication date: 01/01/2007
Field of study

Pure OAI Repository

On verification challenges at the Large Hadron Collider

Author: Willemse T.A.C.; id_orcid
Willemse TAC Tim
Publication venue
Publication date: 01/01/2016
Field of study

Pure OAI Repository

…

core