Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Optimising communication structure for model checking

Saffrey, Peter

Publication date

January 2003

Publisher

Glasgow (United Kingdom) : University of Glasgow

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:DXN065246 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Related items

Faster and symbolic CTMC model checking

Katoen, J.
Kwiatkowska, M.
Norman, G.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(01-3) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN033557 / BLDSC - British Library D...

Inspection models and their application

Thomas, L.
Gaver, D.
Jacobs, P
Edinburgh Univ. (United Kingdom). Dept. of Business Studies

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:9350.10705(EU-DBS-WP--91/21) / BLDSC...

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

Available from British Library Document Supply Centre-DSC:DXN034994 / BLDSC - British Library Docume...

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

Communication systems

Cryan, R.A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039907 / BLDSC - British Library D...

Model Safe Loading Pass Scheme

Institute of Petroleum, London (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:q96/07957 / BLDSC - British Library ...

Modelling and learning organisation

Woods, M.
Fedorkow, M.
Smith, M.
Bradford Univ. (United Kingdom). Management Centre

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:9350.9363(9805) / BLDSC - British Lib...

Communication design management

Seehra, Gurinder

January 2002

SIGLEAvailable from British Library Document Supply Centre- DSC:DXN063957 / BLDSC - British Library ...

Modelling linguistic events

Leith, M.F.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN029887 / BLDSC - British Library D...

Discrete modelling

Cox, M.
Forbes, A.
Harris, P.
National Physical Lab., Teddington (United Kingdom). Centre for Mathematics and Scientific Computing

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8321.4562(no 4) / BLDSC - British Lib...

Process modelling for requirements capture

Crouch, S.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039677 / BLDSC - British Library D...

An extended model for research

Ponce, H.R.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN042614 / BLDSC - British Library D...

Why communication matters..

BT Forum, London (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/14301 / BLDSC - British Library D...

Optimisation of the telecommunications access network

Brittain, D.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028125 / BLDSC - British Library D...

Faster and symbolic CTMC model checking

Katoen, J.
Kwiatkowska, M.
Norman, G.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(01-3) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN033557 / BLDSC - British Library D...

Inspection models and their application

Thomas, L.
Gaver, D.
Jacobs, P
Edinburgh Univ. (United Kingdom). Dept. of Business Studies

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:9350.10705(EU-DBS-WP--91/21) / BLDSC...

Model checking for concurrent software architectures

Giannakopoulou, D.

January 1999

Available from British Library Document Supply Centre-DSC:DXN034994 / BLDSC - British Library Docume...

Model checking based on prefixes of petri net unfoldings

Khomenko, Victor

January 2003

Available from British Library Document Supply Centre- DSC:DXN061636 / BLDSC - British Library Docum...

Communication systems

Cryan, R.A.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039907 / BLDSC - British Library D...

Model Safe Loading Pass Scheme

Institute of Petroleum, London (United Kingdom)

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:q96/07957 / BLDSC - British Library ...

Modelling and learning organisation

Woods, M.
Fedorkow, M.
Smith, M.
Bradford Univ. (United Kingdom). Management Centre

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:9350.9363(9805) / BLDSC - British Lib...

Communication design management

Seehra, Gurinder

January 2002

SIGLEAvailable from British Library Document Supply Centre- DSC:DXN063957 / BLDSC - British Library ...

Modelling linguistic events

Leith, M.F.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN029887 / BLDSC - British Library D...

Discrete modelling

Cox, M.
Forbes, A.
Harris, P.
National Physical Lab., Teddington (United Kingdom). Centre for Mathematics and Scientific Computing

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8321.4562(no 4) / BLDSC - British Lib...

Process modelling for requirements capture

Crouch, S.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN039677 / BLDSC - British Library D...

An extended model for research

Ponce, H.R.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN042614 / BLDSC - British Library D...

Why communication matters..

BT Forum, London (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:q97/14301 / BLDSC - British Library D...

Optimisation of the telecommunications access network

Brittain, D.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028125 / BLDSC - British Library D...

Faster and symbolic CTMC model checking

Katoen, J.
Kwiatkowska, M.
Norman, G.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(01-3) / BLDSC - British Lib...

Multiple profile models

Rimmer, M.J.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN033557 / BLDSC - British Library D...

Inspection models and their application

Thomas, L.
Gaver, D.
Jacobs, P
Edinburgh Univ. (United Kingdom). Dept. of Business Studies

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:9350.10705(EU-DBS-WP--91/21) / BLDSC...