|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
A Modal Interface Theory for Component-based Design.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet |
Causality Analysis in Contract Violation. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
A Compositional Approach on Modal Specifications for Timed Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Goessler, Jean-Baptiste Raclet |
Modal Contracts for Component-Based Design. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
| 1 | Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet |
Refinement and Consistency of Timed Modal Specifications. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet |
Residual for Component Specifications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")