Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

J van Katwijk, RCM de Rooij, S Stuurman, WJ Toetenel

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	73-88
Number of pages	16
Journal	Parallel and Distributed Computing Practices
Volume	2
Issue number	1
Publication status	Published - 2000

Keywords

@article{728b0435af89446286cf4889407bab31,

title = "Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{van Katwijk}, J and {de Rooij}, RCM and S Stuurman and WJ Toetenel",

year = "2000",

language = "Undefined/Unknown",

volume = "2",

pages = "73--88",

journal = "Parallel and Distributed Computing Practices",

issn = "1097-2803",

number = "1",

}

TY - JOUR

T1 - Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

AU - van Katwijk, J

AU - de Rooij, RCM

AU - Stuurman, S

AU - Toetenel, WJ

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Article

SN - 1097-2803

VL - 2

SP - 73

EP - 88

JO - Parallel and Distributed Computing Practices

JF - Parallel and Distributed Computing Practices

IS - 1

ER -