Dashboards
PROVIDE
CONNECT
MONITOR
DEVELOP
Search
Research Outcomes
Projects
Content Providers
Organizations
Deposit
Link
Start linking
Learn more
Content Providers
Repositories
Journals
Registries
Browse all
Sign in
Explore
Provide
Connect
Monitor
Develop
Search
Research Outcomes
Projects
Content Providers
Organizations
Deposit
Link
Start linking
Learn more
Content Providers
Repositories
Journals
Registries
Browse all
Sign in
All content
Search
Advanced Search
Research outcomes
Projects
Content providers
Organizations
Research outcomes
(1)
Projects
(0)
Content Providers
(0)
Organizations
(0)
Filters
(2 )
Filters
Clear All
Open Access
INRIA a CCSD electronic archive se...
Access Mode (1)
Clear
Open Access
(1)
Result Types (4)
Publications
Research data
Software
Other research products
Year range
-
This year
Last 5 years
Last 10 years
Type (1)
Article
(1)
Language (1)
French
(1)
Content Provider (4)
Clear
Mémoires en Sciences de l'I...
(1)
HAL AMU
(1)
Hyper Article en Ligne
(1)
INRIA a CCSD electronic arc...
(1)
Country (1)
FR
(1)
Filters
Clear All
Open Access
INRIA a CCSD electronic archive se...
Access Mode (1)
Clear
Open Access
(1)
Result Types (4)
Publications
Research data
Software
Other research products
Year range
-
This year
Last 5 years
Last 10 years
Type (1)
Article
(1)
Language (1)
French
(1)
Content Provider (4)
Clear
Mémoires en Sciences de l'I...
(1)
HAL AMU
(1)
Hyper Article en Ligne
(1)
INRIA a CCSD electronic arc...
(1)
Country (1)
FR
(1)
10
Results per page:
Relevance
Sort by:
Download Results
Loading
OK
Cancel
1
research outcomes, page
1
of
1
publication
.
Article . 2015
Coverage Criteria for Set-Based Specifications
Open Access
French
Authors:
CRISTIA, Maximiliano;
Frydman, Claudia;
Publisher:
HAL CCSD
National audience; no abstract
1
research outcomes, page
1
of
1
Powered by
OpenAIRE Research Graph
OK
Cancel