Applicable modelling, verification and analysis techniques for real-time systems : Colloquium : Jan 1999, London, UK. (Colloquium Digest - IEE ; 1999-6)

Applicable modelling, verification and analysis techniques for real-time systems : Colloquium : Jan 1999, London, UK.

(Colloquium Digest - IEE ; 1999-6)

Call No. (NDL): M17-99-1787
Bibliographic ID of National Diet Library: 000003509330

Material type: 図書

Author: Institution of Electrical Engineers. Informatics Division. Professional Group A1 (Software Engineering)

Publisher: Institution of Electrical Engineers

Publication date: 1999.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Papers and programme.Index term: real time systems ; IEE ; applicable modelling techniques.BL shelfmark: 3315.470 no 006 1999.

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: 図書
ISSN: 0963-3308
Title: Applicable modelling, verification and analysis techniques for real-time systems : Colloquium : Jan 1999, London, UK.
Series Title: Colloquium Digest - IEE ; 1999-6
Author Heading: Institution of Electrical Engineers. Informatics Division. Professional Group A1 (Software Engineering)
Publication, Distribution, etc.: Institution of Electrical Engineers
Publication Date: 1999.
Publication Date (W3CDTF): 1999
Extent: v.
Alternative Title: real time systems ; IEE ; applicable modelling techniques
NDLC: M17
M159
Note (General): Papers and programme.
Index term: real time systems ; IEE ; applicable modelling techniques.
BL shelfmark: 3315.470 no 006 1999.
Holding library: 国立国会図書館
Call No.: M17-99-1787
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003509330
http://id.ndl.go.jp/bib/000003509330
UKMARC No.: G05804984
Bibliographic Record Category (NDL): 215