DRIVER Document

MyDriver

email password

SEARCH THE REPOSITORIES
LEARN ABOUT DRIVER
FIND SUPPORT
REGISTER YOUR REPOSITORY

Home | Search | Browse | Collections

Repositories

Search all repositories

Search for

Enter more search criteria

Publication Date

From
To

Document Language

Albanian
Arabic
Basque
Bulgarian
Byelorussian
Catalan
Chinese
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hungarian

Icelandic
Italian
Japanese
Latin
Mongolian
Multiple languages
Nepali
Norwegian
Polish
Portuguese
Romanian
Russian
Slovak
Slovenian
Spanish
Swedish
Welsh

Document Type

Annotation
Article
Bachelor thesis
Book
Conference object
Contribution for newspaper or weekly magazine
Dataset
Doctoral thesis
External research report
Internal report
Lecture
Master thesis
Newsletter
Other
Part of book or chapter of book
Patent
Preprint
Report
Research paper
Review
Unknown

Repositories

AI Magazine
AIR - Archivio Istituzionale della Ricerca
AMS Historica - Alm@DL Università di Bologna
AMS Tesi di Dottorato - Alm@DL Università di Bologna
ARCA - Access to Research and Communication Annals
ARROW@DIT
ART-Dok Publikationsplattform Kunstgeschichte
AUP publications
Advanced Electromagnetics
Aethiopica International Journal of Ethiopian and Eritrean Studies - Journal Server of Hamburg University Press
Aisberg - Archivio Istituzionale Università di Bergamo
Ammattikorkeakoulujen verkkokirjasto Theseus
AperTo
Archenvimat
ArchiMeD - Elektronische Publikationen der Universität Mainz
Archimer, Archive Institutionnelle de l'Ifremer
Archive N.E.E.O. U.T.1
Archivio Eprints Universita di Firenze
Archivo Digital UPM

Arias Montano: Repositorio Institucional de la Universidad de Huelva
Aristotle University of Thessaloniki
BELIEF e-Infrastructure Digital Library
BURJC-DIGITAL Universidad Rey Juan Carlos
Bergen Open Research Archive (BORA) - UiB
Biblioteca Digital - Universidad Icesi
Biblioteca Digital Funandi
Biblioteca Digital Minerva
Biblioteca Digital da UFPR
Biblioteca Digital de la Región de Murcia
Biblioteca Digital do Instituto Politécnico de Bragança
Biblioteca Virtual de Aragón
Biblioteca Virtual de Prensa Histórica
Biblioteca Virtual del Patrimonio Bibliográfico
Bibliotheque Numerique RERO DOC
Biblos-e Archivo Universidad Autonoma de Madrid
Birkbeck ePrints
Boloka: Research Repository: North-West University
Borneo University Repository

Bristol Repository of Scholarly Eprints (ROSE)
Bulletin of the Polytechnic Institute of Jassy, CONSTRUCTIONS. ARCHITECTURE Section
CURIS - University of Copenhagen
CemOA - Cemagref Open Access Publications
CentAUR
Centre national pour la numerisation de sources visuelles - CNRS
Cologne Open Science
Cranfield CERES
DADUN. Depósito Académico Digital de la Universidad de Navarra
DALEA - Högskolan Dalarnas elektroniska arkiv
DAR (Desarrolla, Aprende, Reutiliza) del Tecnológico de Monterrey
DESY Publication Database
DI-fusion
DIAL - Dépôt Institutionnel de l'Académie Louvain
DIGIBUG: Repositorio Institucional de la Universidad de Granada
DIGITUM. Depósito Digital Institucional de la Universidad de Murcia.
DIPP NRW
DOAJ-Articles
DORAS

DRCMR eprints
DROPS - Dagstuhl Research Online Publication Server
DSpace VŠB-TUO
DSpace at Cambridge
DSpace at Open Universiteit Nederland
DSpace at Tartu University Library
DSpace at University Leiden
DSpace at Vrije Universiteit Amsterdam
DSpace@MIT - MIT's online institutional repository
DSpaceUnipr - University of Parma
DUGiDocs – Universitat de Girona
Debreceni Egyetem elektronikus Archivumanak (DEA)
Digital Access to Scholarship at Harvard
Digital library of the Tanzania health community
Digital.CSIC
DigitalCommons@USU
Digitales Repositorium der TU Berlin
Digitalna knjižnica Univerze v Mariboru - DKUM
Digitalni Knihovna - Knihovna Akademie věd ČR

Digitální knihovna Univerzity Pardubice
Diposit Digital Universitat de Barcelona
Dipòsit Digital de Documents de la UAB
DocTA - Doctoral Theses Archive
Document Server@UHasselt
Doktori disszertációk
Dokumenten- und Publikationsservice
Durham Research Online
E-Archivo. Archivo Abierto Institucional de la Universidad Carlos III de Madrid
E-LIB Dokumentserver
ECNIS Repository (Environmental Cancer Risk, Nutrition and Individual Susceptibility Repository)
ELPUB : Digital Library
EPrints Complutense
ETH E-Collection
EconStor
Edinburgh Research Archive
Eindwerkensite Katholieke Hogeschool Kempen
Electronic Research Archive
Elektronische Dissertationen der Ruhr-Univ. Bochum

Elektronische Dokumente der Europa-Universität Viadrina
Elektronische Veröffentlichungen Universitätsbibliothek Wuppertal
Elektronisches Volltextarchiv EVA
Epsilon Open Archive
Estudo Geral
Europe PubMed Central
European University Institute Institutional Repository - Cadmus
First Monday
Forschungsplattform Alexandria der Universität St. Gallen
Forskning Hvidovre Hospital
Fraunhofer-ePrints
Full-text Institutional Repository of the Ruđer Bošković Institute
GFZ Publications
GIGA Journal Family
GREDOS: GEstión del REpositorio DOcumental de la Universidad de Salamanca
German Medical Science
Ghent University Repository
Glasgow ePrints Service
GoeScholar (Publikationenserver der Georg-August-Universität Göttingen)

Goldsmiths Research Online
Greenwich Academic Literature Archive
HAL - Hyper Article on Line
Hamburg University Press
Heidelberger Dokumentenserver (HeiDok)
Helvia. Repositorio Insitucional de la Universidad de Córdoba
Hiroshima University Institutional Repository
Horizon / Pleins textes
Human Development Resource Network (HDRNet)
Humboldt University of Berlin, GERMANY, Document Server
IR of Central Economics and Mathematics Institute of Russian Academy of Sciences
ISS Digital Repository
Ic-Online, Repositório Institucional do IPL
Igitur Archive, Utrecht University repository
Information Technology and Libraries
Infoscience
Institut supérieur de l'aéronautique et de l'espace
Institutional Repository for Molecular Medicine (MDC)
Institutional Repository of National Hellenic Research Foundation (Helios)

Institutional Repository of the Freie Universität Berlin
Institutional Repository of the Urals State University
InterDisciplines. Journal of History and Sociology
International Institute for the Study of Islam in the Modern World
International Journal of Digital Curation
JIIA Eprints Repository
JUWEL (JUelicher Wissenschaftliche Elektronische Literatur)
Journal of Digital Information
KCE Repository
KNAW
Kagoshima University Repository
Kobra - DSpace an der Universität Kassel
Ktisis
Kölner UniversitätsPublikationsServer
LSE Research Online
La Biblioteca de Publicaciones Periódicas UNL
Latvijas Universitātes e-resursu repozitārijs
Les Bibliothèques Virtuelles Humanistes (BVH)
Les thèses en ligne de l'INP

Libros Metabiblioteca
Linköping University Electronic Press
Lund University Publications
MADOC: Mannheim Electronic DOCument Server
MONARCH - Dokumenten- und Publikationsservice
Marine Institute Open Access Repository
Max Planck Institute for Plasma Physics
Munich RePEc Personal Archive
NERC Open Research Archive
NIVEL publications
NORA (Norwegian Open Research Archives)
NUI Maynooth ePrints and eTheses Archive
National Research Council Bologna - IBIMET Repository
National Research Council Bologna - IMM Repository
National Research Council Bologna - ISAC Repository
National Research Council Bologna - ISOF Repository
National Research Council Faenza - ISTEC Repository
National Research Council Genova - IBF Repository
National Research Council Genova - IENI Repository

National Research Council Genova - IMATI Repository
National Research Council Genova - ISEM Repository
National Research Council Pisa - IFC Repository
National Research Council Pisa - IIT Repository
National Research Council Pisa - ISTI Repository
National Research Council Taranto - IAMC Repository
Naturalis Digital Academic Repository
Netherlands Defence Academy repository
Nottingham ePrints
Nottingham eTheses
Národní úložiště šedé literatury
OAI Repository of the Technische Universiteit Eindhoven (TU/e)
OAI-Repository SUB Goettingen
OAR, het Open Archief van VIOE-publicaties
OATAO (Open Archive Toulouse Archive Ouverte)
OPUS - Online-Publikations-Server der Hochschule Osnabrück
OPUS Publikationsserver
ORBIT The DTU Research Database
ORBi (University of Liège)

OaiStore
OceanRep
Oldenburger Online-Publikations-Server
Online-Publikationsservice der Universitaet Tuebingen
Open Access LMU
Open Access Repository of Indian Theses
Open Marien Archief (OMA)
Open Natuur Archief (ONA)
Open Research Online
OpenGrey
OpenMED@NIC
OpenstarTs (archivio istituzionale dell'Università degli studi di Trieste)
Otolaryngology online journal
Oxford University Research Archive (ORA)
PADIS
PSNC Institutional Repository
PUB - Publications at Bielefeld University
PURE Aarhus University
Padua@Research

PeFprints
Pharmacy Eprints
Portal de Revistas Electrónicas de EasyApps
Potsdam Institute for Climate Impact Research, Germany
Propylaeum-DOK Publikationsplattform Altertumswissenschaften
PsyDok, Psychologie Open Access Server der Saarlaendischen Universitaets- und Landesbibliothek
Publications from Karolinska Institutet
Publications of the Universiteit van Amsterdam
Publikasjoner fra Norges teknisk-naturvitenskapelige universitet
Publikationer fran Karlstads Universitet
Publikationer från Högskolan i Jönköping
Publikationer från Stockholms universitet
Publikationer från Umeå Universitet
Publikationer från Uppsala universitet
Publikationsserver der RWTH Aachen University
Publikationsserver der Universitaet Potsdam
Publikationsserver der Universität Regensburg
Publikationsserver des Robert Koch-Instituts
Purdue e-Pubs

QSpace at Qatar University
Qucosa
READ Research in Architecture and Design Publikationer
REPAP: Repositório de Administração Pública
RIA: Repositório Institucional da Universidade de Aveiro
RIUMA: Repositorio Institucional de la Universidad de Málaga
RODIN, Repositorio de Objetos de Docencia e Investigación de la Universidad de Cádiz
RUA - Repositorio Institucional de la Universidad de Alicante
RUDAR - Roskilde University Digital Archive
RUIdeRA
RUJA
Radboud Repository (Nijmegen)
Re-Unir
RePub (Erasmus University Repository)
Repositori Institucional de la Universitat Jaume I
Repositori Obert UdL
Repositori institucional de la UOC, O2
Repositorio Digital de la Universidad Politecnica de Cartagena
Repositorio Digital de la Universidad de Zaragoza

Repositorio Institucional da FCT-UNL
Repositorio Institucional de Asturias (RIA)
Repositorio da Universidade de Santiago de Compostela
Repositorio de Tesis Doctorales
Repositorio institucional edocUR
Repository Royal Tropical Institute
Repository at Institute of Mathematics and Informatics
RepositóriUM - University of Minho Institutional Repository
Repositório Aberto da Universidade Aberta
Repositório Aberto da Universidade do Porto
Repositório Científico da Universidade de Évora
Repositório Comum
Repositório Digital da Universidade da Madeira
Repositório Institucional ESE de Paula Frassinetti
Repositório da UTAD
Repositório da Universidade Técnica de Lisboa
Repositório da Universidade de Lisboa
Repositório da Universidade dos Açores
Repositório do Hospital Prof. Doutor Fernando Fonseca

Repositório do IPCB
Repositório do ISCTE
Repositório do LNEG
Repositório dos Hospitais da Universidade de Coimbra
Repozitorij Medicinskog fakulteta Sveucilista u Zagrebu
Repozytorium Centrum Otwartej Nauki
Repozytorium Uniwersytetu im. Adama Mickiewicza w Poznaniu AMUR
Repozytorium Uniwersytetu Łódzkiego (RUŁ)
Research Database Royal Danish Defence College
Research at ASB
Revista Cubana de Tecnología de la Salud
RiuNet : repositorio institucional de la Universitat Politècnica de Valencia
Royal Holloway Research Online
SOAS Eprints
SODA, the Software Institutes Online Digital Archive
SZTE Doktori Repositórium
Sammelpunkt. Elektronisch archivierte Theorie
Sapientia - Universidade do Algarve
SavifaDok Publikationsplattform fuer die Suedasienwissenschaften

SciDok, der Wissenschafts-Server der Universitaet des Saarlandes
Science and Religion Dialogue Prints of University of Latvia
Scientific Reports
Scientific production, Tilburg University
Scientists Correspondences
SerWisS - Hochschulschriftenserver der Fachhochschule Hannover
Serveur des thèses en ligne de l'INSA de Toulouse
Skemman - rafrænt gagnasafn Háskóla Íslands
Social Science Open Access Repository
Speech and Language Data Repository (SLDR)
Spir@l - Imperial College Digital Repository
Summit - Simon Fraser University research repository
Surrey Scholarship Online
Syddansk Universitet
Süleyman Demirel Üniversitesi Elektronik Dergi Sistemi
TARA
TARA (RIAN)
TEORA - Telemark Open Research Archive
TKK Teknillisen korkeakoulun elektroniset vaeitoeskirjat

TU Delft Repository
TUBdok - Hochschulschriftenserver der Technischen Universität Hamburg-Harburg
The Depot
The HKU Scholars Hub
The Univ. of Birmingham: The ePrints Archive
Theses database, Tilburg University
Thèses de l'Ecole nationale des chartes
Travesía - Recursos digitales para la cooperación bibliotecaria
TropMed Central Antwerp
UCL Eprints
UDCDspace
ULIR
UNESCO-IHE Institute for Water Education
UPCommons - E-prints UPC
USU Repository
UVaDOC Repositorio Documental de la Universidad de Valladolid
UniCa Eprints
UnissResearch
Univ. Duesseldorf: Duesseldorfer Dokumenten- und Publikationsserver

Univ. Konstanz: Konstanzer Online-Publikations-System (KOPS)
Univ. Maastricht
Univ. Tromsoe: Munin Open Research Archive
Universidad de Cantabria: Tesis Doctorales en Red (TDR)
Universidad de Murcia: Tesis Doctorales en Red (TDR)
Universidad de Oviedo: Tesis Doctorales en Red (TDR)
Universitaet Stuttgart
Universitat Abat Oliba CEU: Tesis Doctorals en Xarxa (TDX)
Universitat Autònoma de Barcelona: Tesis Doctorals en Xarxa (TDX)
Universitat Internacional de Catalunya: Tesis Doctorals en Xarxa (TDX)
Universitat Jaume I: Tesis Doctorals en Xarxa (TDX)
Universitat Oberta de Catalunya: Tesis Doctorals en Xarxa (TDX)
Universitat Politècnica de Catalunya: Tesis Doctorals en Xarxa (TDX)
Universitat Pompeu Fabra: Tesis Doctorals en Xarxa (TDX)
Universitat Ramon Llull: Tesis Doctorals en Xarxa (TDX)
Universitat Rovira i Virgili: Tesis Doctorals en Xarxa (TDX)
Universitat de Barcelona: Tesis Doctorals en Xarxa (TDX)
Universitat de Girona: Tesis Doctorals en Xarxa (TDX)
Universitat de Lleida: Tesis Doctorals en Xarxa (TDX)

Universitat de València: Tesis Doctorals en Xarxa (TDX)
Universitat de Vic: Tesis Doctorals en Xarxa (TDX)
Universitat de les Illes Balears: Tesis Doctorals en Xarxa (TDX)
Universiteit voor Humanistiek
University Digital Archive of the University of Groningen, The Netherlands.
University of Newcastle Library E-Print Archives
University of Oulu Repository - Jultika
University of Pretoria Electronic Theses and Dissertations
University of Pretoria Research Repository (UPSpace)
University of Twente Publications
VBN Aalborg University
VTS Ulmer Volltextserver
WODC Repository Ministerie van Veiligheid en Justitie
Wageningen University and Researchcenter Publications
Waterford Inst. of Technology: WIT Institutional Repository
Webbased Archive of RIVM Publications
Whiterose Research Online
Zeitschrift für Soziologie - ZfS Online
Zielonogórska Biblioteka Cyfrowa

Zurich Open Repository and Archive (ZORA)
arXiv
ask23 repository (lkw, hfbk hamburg, germany)
citaREA Repositorio Electronico Agroalimentario
e-IEO. Archivo Abierto Institucional del Instituto Español de Oceanografía
e-Repositori UPF
e-spacio UNED
eLABa
eLanguage
ePIC
ePrints.FRI - Fakulteta za računalništvo in informatiko, Univerza v Ljubljani
ePrints@IISc repository
ePub WU
e_buah Biblioteca digital de la Universidad de Alcala
epub.oeaw
fedOA
humanities monographs in Open Access
mediaTUM
memSIC : Memoires en Sciences de l'Information et de la Communication

miami
peDOCS
pub.fontys.nl
research_online@UCD
Διώνη (Πανεπιστήμιο Πειραιώς)
Κέντρα Ευρωπαϊκής Τεκμηρίωσης (Πανεπιστήμιο Πειραιώς)
Νημερτής
ΣΠΟΥΔΑΙ (Πανεπιστήμιο Πειραιώς)
Електронний науковий архів
Наукова періодика України
Наукові журнали Національного Авіаційного Університету
中国西部环境与生态知识积累平台 - SeekSpace

Search History

• (author = "Abdesselam, A")

Document details

Critères de couverture structurelle pour les programmes Lustre

Author(s) : Lakehal, Abdesselam

Description : Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applicat...

Repository : HAL - Hyper Article on Line , View repository documents

Language(s) : French

Subject(s) : [INFO:SESC] Computer Science/Software Engineering and Symbolic Computing , Test logiciel , approche synchrone , Lustre , réseau d'opérateurs , test structurel , couverture

Publisher(s) : Université Joseph-Fourier - Grenoble I

Contributor(s) :

Source(s) :

Publication Date(s) : 2006-09-08

Add to dropbox

node4

node3 |node4 |random node