Automatic Analysis of a Safety Critical Tele Control System
Author(s) -
Edoardo Campagnano,
Ester Ciancamerla,
M. Minichino,
Enrico Tronci
Publication year - 2005
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-29200-4
DOI - 10.1007/11563228_8
Subject(s) - computer science , dimensioning , bandwidth (computing) , bridge (graph theory) , computer network , real time computing , engineering , medicine , aerospace engineering
Fredrikstad, Norway, LNC
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom