Search CORE

37 research outputs found

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

Author: A Laarman
A Valmari
A Valmari
C Venkatramani
D Hansen
D Plagge
G Ciardo
G Kant
I Dobrikov
I Dobrikov
J Bendisposto
J Bendisposto
J Meijer
J Meijer
J Woodcock
J-R Abrial
J-R Abrial
J-R Abrial
JC Bicarregui
JR Burch
M Colange
M Leuschel
P Hintjens
P Körner
S Blom
S Blom
S Krings
S Krings
T Dijk van
Y Yu
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/09/2018
Field of study

University of Twente Research Information

Exploiting formality in software engineering

Author: Bicarregui JC
Publication venue
Publication date: 01/01/1999
Field of study

ePubs: the open archive for STFC research publications

Establishing the Verified Software Repository: Current Plans

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2004
Field of study

ePubs: the open archive for STFC research publications

The European Open Science Cloud for Research

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2016
Field of study

ePubs: the open archive for STFC research publications

Long-term sustainability of Research Infrastructures

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2017
Field of study

ePubs: the open archive for STFC research publications

The Verified Software Repository: A step towards the Verifying Compiler

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2004
Field of study

ePubs: the open archive for STFC research publications

Policy Steps Towards and Open-Data Research Environment

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2016
Field of study

ePubs: the open archive for STFC research publications

GC6: Dependable Systems Evolution

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2008
Field of study

ePubs: the open archive for STFC research publications

The Research Data Alliance: why it hits the spot!

Author: Bicarregui JC
Publication venue
Publication date: 01/01/2016
Field of study

ePubs: the open archive for STFC research publications

Do not read this

Author: Bicarregui JC
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2002
Field of study

ePubs: the open archive for STFC research publications

core

core