مرکز منطقه ای اطلاع رساني علوم و فناوري - Achieving dependability in sensor networks through automated requirements-based programming

Title of article :

Achieving dependability in sensor networks through automated requirements-based programming

Author/Authors :

Michael G. Hinchey، نويسنده , , James L. Rash، نويسنده , , Christopher A. Rouff، نويسنده , , Denis Gracanin، نويسنده ,

Issue Information :

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

Pages :

From page :

246

To page :

256

Keywords :

sensor networks , formal methods , Automatic code generation

Journal title :

Computer Communications

Serial Year :

2006

Journal title :

Computer Communications

Record number :

310193

Link To Document :