SIVOES-MoDeVa 2004 : 2004 1st international workshop on model, design and validation (SIVOES-MoDeVa) : proceedings : 2 November 2004 : Rennes, Bretagne, France. : SIVOES (specification implementation and validation of object-oriented embedded systems)-MoDeVa (model design and validation) workshop : Nov 2004, Rennes, France.

SIVOES-MoDeVa 2004 : 2004 1st international workshop on model, design and validation (SIVOES-MoDeVa) : proceedings : 2 November 2004 : Rennes, Bretagne, France. : SIVOES (specification implementation and validation of object-oriented embedded systems)-MoDeVa (model design and validation) workshop : Nov 2004, Rennes, France.

Call No. (NDL): M17-06-972
Bibliographic ID of National Diet Library: 000008154085

Material type: 図書

Author: International Workshop on Model, Design and Validation (1st : 2004 : Rennes, France)

Publisher: IEEE

Publication date: [c2004]

Material Format: Paper

Capacity, size, etc.: 66 p. : ill. (some col.) ; 30 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.IEEE cat no 04EX984.

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: 0780388526
Title: SIVOES-MoDeVa 2004 : 2004 1st international workshop on model, design and validation (SIVOES-MoDeVa) : proceedings : 2 November 2004 : Rennes, Bretagne, France. : SIVOES (specification implementation and validation of object-oriented embedded systems)-MoDeVa (model design and validation) workshop : Nov 2004, Rennes, France.
Author Heading: International Workshop on Model, Design and Validation (1st : 2004 : Rennes, France)
Publication, Distribution, etc.: [Piscataway] : IEEE
Publication Date: [c2004]
Publication Date (W3CDTF): 2004
Extent: 66 p. : ill. (some col.) ; 30 cm.
Alternative Title: SIVOES-MoDeVa : 2004 1st international workshop on model, design and validation : associated to ISSRE'04 : November 2, 2004 : Rennes, France
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer software -- Testing. -- Congresses.
Computer software -- Reliability. -- Congresses.
NDLC: M17
Note (General): Papers.
IEEE cat no 04EX984.
Note (Bibliography): Includes bibliographic references.
Holding library: 国立国会図書館
Call No.: M17-06-972
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008154085
http://id.ndl.go.jp/bib/000008154085
RLIN No.: MOHG60342459-B
Bibliographic Record Category (NDL): 215