कवर छवि

Verification of infinite-state systems with applications to security

अन्य संस्करण दिखाएं (1)
में बचाया:
निगमित लेखकों: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
अन्य लेखक: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
स्वरूप: इलेक्ट्रोनिक सम्मेलन की कार्यवाही ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Amsterdam ; Washington, D.C. : IOS Press, c2006.
श्रृंखला:NATO security through science series. Information and communication security ; v. 1.
विषय:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Electronic books.
ऑनलाइन पहुंच:An electronic book accessible through the World Wide Web; click to view
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
वस्तु वर्णन:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
भौतिक वर्णन:vii, 235 p. : ill.
ग्रन्थसूची:Includes bibliographical references and author index.

समान संसाधन