untitled
<OAI-PMH schemaLocation=http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd>
<responseDate>2018-01-15T15:42:38Z</responseDate>
<request identifier=oai:HAL:hal-00354645v1 verb=GetRecord metadataPrefix=oai_dc>http://api.archives-ouvertes.fr/oai/hal/</request>
<GetRecord>
<record>
<header>
<identifier>oai:HAL:hal-00354645v1</identifier>
<datestamp>2018-01-11</datestamp>
<setSpec>type:COMM</setSpec>
<setSpec>subject:info</setSpec>
<setSpec>collection:CNRS</setSpec>
<setSpec>collection:ENSEIRB</setSpec>
<setSpec>collection:LABRI</setSpec>
<setSpec>collection:UNIV-BORDEAUX</setSpec>
<setSpec>collection:BNRMI</setSpec>
<setSpec>collection:UNIV-AG</setSpec>
<setSpec>collection:URCA</setSpec>
<setSpec>collection:CRESTIC</setSpec>
<setSpec>collection:LMR</setSpec>
</header>
<metadata><dc>
<publisher>HAL CCSD</publisher>
<title lang=en>Integrated tool for testing timed systems</title>
<creator>Fouchal, H.</creator>
<creator>Pierre, Laurent</creator>
<creator>Gruson, Sébastien</creator>
<creator>Rabat, Cyril</creator>
<creator>Rollet, Antoine</creator>
<contributor>Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG)</contributor>
<contributor>Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC) ; Université de Reims Champagne-Ardenne (URCA)</contributor>
<contributor>Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2</contributor>
<description>International audience</description>
<source>In Proceedings of Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005)</source>
<source>Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005)</source>
<coverage>Guadalajara, Mexico</coverage>
<identifier>hal-00354645</identifier>
<identifier>https://hal.archives-ouvertes.fr/hal-00354645</identifier>
<source>https://hal.archives-ouvertes.fr/hal-00354645</source>
<source>Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), Jan 2005, Guadalajara, Mexico. 3563, pp.153-166, 2005, Springer LNCS</source>
<language>en</language>
<subject>[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]</subject>
<type>info:eu-repo/semantics/conferenceObject</type>
<type>Conference papers</type>
<date>2005-01-28</date>
</dc>
</metadata>
</record>
</GetRecord>
</OAI-PMH>
