The WCET analysis tool CalcWcet167
Kirner, R.2012Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).PART 2 ed.Vol. 7610 LNCS, p. 158-17215 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7610 LNCS, no. PART 2)Research output: Chapter in Book/Report/Conference proceeding› Conference contribution
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 158-172 |
| Number of pages | 15 |
| Volume | 7610 LNCS |
| Edition | PART 2 |
| DOIs | |
| State | Published - 2012 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Number | PART 2 |
| Volume | 7610 LNCS |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Conference
| Conference | 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 |
|---|---|
| Country | Greece |
| City | Heraklion, Crete |
| Period | 15/10/12→ 18/10/12 |