Last change
on this file since 54 was
52,
checked in by cecile, 13 years ago
|
Decomposition de papier en fichier
|
File size:
1.1 KB
|
Line | |
---|
1 | \BOOKMARK [1][-]{section.1}{ Introduction}{}% 1 |
---|
2 | \BOOKMARK [2][-]{subsection.1.1}{ Related Works}{section.1}% 2 |
---|
3 | \BOOKMARK [1][-]{section.2}{ Our Framework}{}% 3 |
---|
4 | \BOOKMARK [2][-]{subsection.2.1}{ Overall Description of our methodology}{section.2}% 4 |
---|
5 | \BOOKMARK [2][-]{subsection.2.2}{ Definition of the abstraction of a component and of the complete system}{section.2}% 5 |
---|
6 | \BOOKMARK [2][-]{subsection.2.3}{ Characterization of AKS}{section.2}% 6 |
---|
7 | \BOOKMARK [1][-]{section.3}{ Abstraction Generation and Refinement}{}% 7 |
---|
8 | \BOOKMARK [2][-]{subsection.3.1}{ Generalities}{section.3}% 8 |
---|
9 | \BOOKMARK [3][-]{subsubsection.3.1.1}{ Refinement}{subsection.3.1}% 9 |
---|
10 | \BOOKMARK [3][-]{subsubsection.3.1.2}{ The Counterexample}{subsection.3.1}% 10 |
---|
11 | \BOOKMARK [2][-]{subsection.3.2}{ Pre-processing and pertinency ordering of properties}{section.3}% 11 |
---|
12 | \BOOKMARK [2][-]{subsection.3.3}{ Initial abstraction generation}{section.3}% 12 |
---|
13 | \BOOKMARK [2][-]{subsection.3.4}{ Abstraction refinement}{section.3}% 13 |
---|
14 | \BOOKMARK [1][-]{section.4}{ Experimental results}{}% 14 |
---|
15 | \BOOKMARK [1][-]{section.5}{ Conclusion and Future Works}{}% 15 |
---|
16 | \BOOKMARK [1][-]{section.6}{ References}{}% 16 |
---|
Note: See
TracBrowser
for help on using the repository browser.