Keywords :
"Electrical capacitance tomography","Safety","Informatics","Lapping","Formal specifications","Java","Unified modeling language","Control systems"
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM
