Changeset 2031


Ignore:
Timestamp:
Jun 8, 2012, 3:52:23 PM (5 years ago)
Author:
stark
Message:

Mention FMICS 2012 paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.2/supplement.tex

    r2029 r2031  
    239239project, presented a list of conferences and journals suitable for publicising
    240240{\cerco} results.  Now that the project has progressed, we have reviewed the
    241 technical activities to date and identified a specific list of topics which we
    242 propose as suitable for dissemination in individual papers and articles.
    243 
     241technical activities to date and identified a specific list of topics and
     242results for dissemination in individual papers and articles.  Some of these
     243have already been submitted, or accepted for publication: in particular, an
     244FMICS~2012 paper on the labelling approach which also references the Frama-C
     245plugin and Lustre case study.
    244246\begin{description}
    245247\item[Labelling] As presented in Deliverable~2.1, the use of labelling to
     
    303305
    304306%  LocalWords:  Frama AbsInt Rapita RapiTime EnCore ArcSim WCET Heiko HiPEAC
    305 %  LocalWords:  Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign ACSL
     307%  LocalWords:  Falk EmBounded Myreen CompCertTSO ADSIG ArtistDesign ACSL FMICS
    306308%  LocalWords:  Gliwa GmbH
Note: See TracChangeset for help on using the changeset viewer.