Title of article

Safety assurance via on-line monitoring

Author/Authors

Shlomi Dolev ، نويسنده , , Frank Stomp ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2003

Pages

9

From page

269

To page

277

Keywords

Distributed systems – Monitors – Safety properties

Journal title

DISTRIBUTED COMPUTING

Serial Year

2003

Journal title

DISTRIBUTED COMPUTING

Record number

297769