Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania.

(NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Call No. (NDL): M17-09-557
Bibliographic ID of National Diet Library: 000010040572

Material type: 図書

Author: Institute e-Austria Timisoara.ほか

Publisher: IOS Press

Publication date: c2006.

Material Format: Paper

Capacity, size, etc.: vii, 235 p. : ill. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 1586035703
9781586035709 (ISBN-13)
ISSN (series): 1574-5589
Title: Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania.
Series Title: NATO Security through Science Series. Series D, Information and Communication Security ; 1
Author Heading: Institute e-Austria Timisoara.
Clarke, Edmund.
Minea, Marius.
Ţiplea, Ferucio Laurenţiu.
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timaşoara, Romania)
Publication, Distribution, etc.: Amsterdam : IOS Press
Washington, DC : IOS Press
Publication Date: c2006.
Publication Date (W3CDTF): 2006
Extent: vii, 235 p. : ill. ; 25 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: System theory -- Mathematical models -- Congresses.
System theory -- Security measures -- Congresses.
Computer security -- Congresses.
Computer software -- Verification -- Congresses.
Infinite-state systems.
Security.
VISSAS.
LCC: Q295
DDC: 005.8
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-09-557
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010040572
http://id.ndl.go.jp/bib/000010040572
LC Control Number: 2005937272
https://lccn.loc.gov/2005937272
OCLC No.: 65661588
https://www.worldcat.org/oclc/65661588
Bibliographic Record Category (NDL): 215