Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

著者

    • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    • Gregoire, Benjamin
    • Huisman, Marieke
    • Lanet, Jean-Louis

書誌事項

Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

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

（Lecture notes in computer science, 3956）

Springer, c2006

タイトル別名

CASSIS 2005

大学図書館所蔵 件 / 全7件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ