Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

著者

    • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    • Barthe, Gilles
    • Burdy, Lilian
    • Huisman, Marieke
    • Lanet, Jean-Louis

書誌事項

Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Gilles Barthe ... [et al.] (eds.)

(Lecture notes in computer science, 3362)

Springer, c2005

タイトル別名

CASSIS 2004

大学図書館所蔵 件 / 15

この図書・雑誌をさがす

注記

Includes bibliographical references and index

"Hot Topics"--On Cover

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ