Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation

Valerie M. Jones

Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation

Valerie M. Jones

Research output: Book/Report › Report › Other research output

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Sept 1997

Keywords

EWI-6018

Cite this

@book{96d491d9b1b44793bc7bb61da678664c,

title = "Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation",

keywords = "EWI-6018",

author = "Jones, {Valerie M.}",

note = "Imported from CTIT",

year = "1997",

month = sep,

language = "Undefined",

publisher = "Centre for Telematics and Information Technology (CTIT)",

address = "Netherlands",

}

TY - BOOK

T1 - Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation

AU - Jones, Valerie M.

N1 - Imported from CTIT

PY - 1997/9

Y1 - 1997/9

KW - EWI-6018

M3 - Report

BT - Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -