Search - IFIP - Lecture Notes in Computer Science

Access content directly

Documentation

Collection IFIP-LNCS
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

Lecture Notes in Computer Science

Home
LNCS
Browse
Conferences
AICT Series
LNBIP
LNCS
eCollection Series
ePublication
IFIP Society Publications

Loading...

Filter your results

Fulltext
1

Conference papers
1

Computer Science [cs]
1

2011
1

English
1

Supélec Sciences des Systèmes
1
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
9
Institut de recherche en informatique de Toulouse
7
Inria Sophia Antipolis - Méditerranée
6
Laboratoire Lorrain de Recherche en Informatique et ses Applications
6
Laboratoire d'Informatique Fondamentale de Lille
6
Inria Lille - Nord Europe
5
Laboratoire Traitement et Communication de l'Information
5
Laboratoire d'Informatique de Grenoble
5
Laboratoire d'analyse et d'architecture des systèmes
5
Inria Nancy - Grand Est
4
Inria Paris-Rocquencourt
4
Inria Rennes – Bretagne Atlantique
4
NOKIA Research Center
4
Computing Department [Lancaster]
3
DAI-Labor
3
Department of Computer Science
3
Deutsche Telekom Laboratories
3
Distributed Systems and Computer Networks
3
IBM Thomas J. Watson Research Center
3
INRIA Lorraine
3
Inria Grenoble - Rhône-Alpes
3
Instituto Superior Técnico
3
Interdisciplinary Centre for Security Relaibility and Trust
3
Laboratoire de Recherche en Informatique
3
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3
Air Force Institute of Technology
2
CSIRO Information and Commuciation Technologies
2
Centre of Telematics and Information Technology
2
Computer Science Department - Carnegie Mellon University
2
DOCOMO Euro-Labs
2
Department of Telematic Engineering
2
Dipartimento di Informatica [Torino]
2
Edinburgh College of Art
2
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
2
IBM Austin Research Lab [Austin]
2
Institut de Recherche en Informatique et Systèmes Aléatoires
2
Laboratoire Bordelais de Recherche en Informatique
2
Laboratoire d'Informatique de Paris 6
2
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
2
Microsoft Research [Cambridge]
2
Microsoft Research [Redmond]
2
Oberthur Technologies
2
Preuves, Programmes et Systèmes
2
Shenzhen Institutes of Advanced Technology
2
Thales Research & Technology France
2
VERIMAG
2
XLIM
2
ACCESS Linnaeus Centre [Sweden]
1
Advanced Network Architectures Lab
1
BASICS
1
Blekinge Institute of Technology
1
Business Process Security Group [Freiburg]
1
CBCU|ECRIC
1
CITI Centre of Innovation in Telecommunications and Integration of services
1
CNR-ISTI, HIIS Laboratory
1
Center for Advanced Security Research Darmstadt [Darmstadt]
1
Centre Universitaire d'Informatique
1
Centre de recherche sur le travail et le développement
1
Centre for Communication Systems Research
1
Centre for Intelligent Machines
1
Centro de Informatica UFPE [Recife]
1
Centrum voor Wiskunde en Informatica
1
College of Computer Studies
1
ComNets
1
Communication Research Center
1
Computer Science Department [Boston]
1
Computer Science and Artificial Intelligence Laboratory [Cambridge]
1
Computer Science and Engineering [Sydney]
1
Computing Science Laboratory - Oxford University
1
DAIS - Computer Science
1
DEI|CISUC
1
David R. Cheriton School of Computer Science
1
Departament d'Enginyeria Telemàtica
1
Departamento de Engenharia Informática
1
Departamento de Informática
1
Departamento de Informática [Minho]
1
Departamento de Ingeniería Telemática
1
Department of Communications and Networking [Aalto Univ]
1
Department of Computer Science & Engineering [Riverside]
1
Department of Computer Science and Engineering [Bologna]
1
Department of Computer Science, Electrical and Space Engineering [Luleå]
1
Department of Electrical & Computer Engineering [Victoria]
1
Department of Electrical Engineering [Polytechnic Institute of Porto]
1
Department of Electrical and Computer Engineering [Waterloo]
1
Department of Electronic and Electrical Engineering
1
Department of Informatics
1
Department of Informatics [Oslo]
1
Department of Information Systems
1
Department of Mathematics [Sweden]
1
Department of Zoology
1
Digital Enterprise Research Institute
1
Dipartimento di Ingegneria dell'Informazione, Elettronica e Telecomunicazioni [Roma]
1
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
1
Enterprise Security and Connectivity, laboratory
1
European Microsoft Innovation Center
1
European Research Center for Information Systems [Münster]
1
Faculdade de Ciências [Lisboa]
1
Faculty of Computer Science and Information Systems
1
Faculty of Electrical Engineering, Mathematics and Computer Science [Twente]
1
Faculty of Technology, Policy and Management [Delft]
1
Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
1
Hewlett-Packard Laboratories [Bangalore]
1
Hewlett-Packard Laboratories [Bristol]
1
Human Computer Interaction and Multimedia Group
1
IBM Czech Republic
1
IBM Haifa Research Lab
1
IBM Research - Ireland
1
IBM Research Laboratory [Zurich]
1
IBM-China Research Laboratory
1
Individual and Collective Reasoning
1
Information Security Institute
1
Inria Bordeaux - Sud-Ouest
1
Inria Saclay - Ile de France
1
Institut Charles Delaunay
1
Institut de hautes études en administration publique
1
Institute for Design and Assessment of Technology [Vienna]
1
Institute of Applied Information Processing and Communications [Graz]
1
Institute of Computer Science and Information Technology [Nairobi]
1
Institute of Computer and Network Engineering [Braunschweig]
1
Instituto Tecnologico de Aragon
1
Instituto Tecnología del Conocimiento
1
Istituto Nazionale di Statistica
1
Istituto Superiore Mario Boella
1
Istituto di Informatica e Telematica
1
KDDI R&D Laboratories Inc.
1
Keio-NUS CUTE Center
1
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
1
Laboratoire Images, Signaux et Systèmes Intelligents
1
Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
1
Laboratoire d'InfoRmatique en Image et Systèmes d'information
1
Laboratoire d'Informatique de Nantes Atlantique
1
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
1
Laboratoire d'Intégration des Systèmes et des Technologies
1
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
1
Laboratoire d'informatique de l'école normale supérieure
1
Laboratoire d'Étude des Systèmes Informatiques et Automatiques
1
Laboratoire de l'Informatique du Parallélisme
1
Laboratorio de Investigación y Formación en Informática Avanzada [La Plata]
1
Madeira Interactive Technologies Institute [Funchal]
1
Management des Risques Industriels
1
Max Planck Institute for Biological Cybernetics
1
Max-Planck-Institut für Informatik
1
NEC Europe Ltd., Network Laboratories
1
NIC Research Labs [Chile]
1
NTT Communication Science Laboratories
1
National Center for Forensic Science
1
National Institute of Criminalistics [Brasília]
1
Norwegian Information Security Laboratory
1
Observatoire technologique
1
Orange Labs [Issy les Moulineaux]
1
Philips Research [Nederlands]
1
Pinhal de Marrocos
1
RFI Global Services Ltd.
1
Research Academic Computer Technology Institute
1
SAP Research
1
SAP Research [Karlsruhe]
1
School of Communication Engineering
1
School of Computer Science and Informatics [Dublin]
1
School of Computer Science and Telecommunication Engineering
1
School of Media and Communication [Leeds]
1
Software Research Institute
1
Sprint Applied Research and Advanced Technology Labs
1
State Key Laboratory of Information Security, Institute of Information Engineering
1
TNO [Delf]
1
Tata Research Development and Design Center
1
Tech4i2 ltd
1
Technicolor [Cesson Sévigné]
1
The Pervasive Interaction Technology Lab
1
University Kore d'Enna
1
Young Researchers Club, Kermanshah Branch
1

Frédéric Dadeau
1
Jacques Julliand
1
Kalou Cabrera Castillos
1
Safouan Taha
1

1 Array

Deposit type : Fulltext

labStructName_s : Supélec Sciences des Systèmes

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩ Conference papers hal-00640312v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Page :

Contact

Support

Resources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Privacy and personal data
Legal terms
Accessibility
Declaration of compliance

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf