IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department

2009 International Conference on Advanced Information Networking and Applications Workshops (WAINA)

Author(s): Coronato, A. ; De Pietro, G.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2009
Conference Location: Bradford, United Kingdom, United Kingdom
Conference Date: 26 May 2009
Page(s): 1,043 - 1,048
ISBN (CD): 978-0-7695-3639-2
ISBN (Paper): 978-1-4244-3999-7
DOI: 10.1109/WAINA.2009.198
Regular:

In case of safety critical pervasive applications classic designing tools can not be applied as they are. As a matter of fact, the behavior of such a kind of applications relies on the location of... View More

Advertisement