2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769534374

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

list-reviewer

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.48 ◽

2008 ◽

Download Full-text

Author index

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.44 ◽

2008 ◽

Download Full-text

[Title page iv]

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.3 ◽

2008 ◽

Keyword(s):

Title Page

Download Full-text

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.47 ◽

2008 ◽

Cited By ~ 4

Author(s):

Eduardo Tavares ◽

Bruno Silva ◽

Paulo Maciel

Keyword(s):

Embedded Systems ◽

Energy Constraints ◽

Time Critical

Download Full-text

[Title page i]

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.1 ◽

2008 ◽

Keyword(s):

Title Page

Download Full-text

Abstract Interpretation in Code Security

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.49 ◽

2008 ◽

Author(s):

Roberto Giacobazzi

Keyword(s):

Abstract Interpretation ◽

Code Security

Download Full-text

[Title page iii]

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.2 ◽

2008 ◽

Keyword(s):

Title Page

Download Full-text

A Generalized Model-Based Test Generation Method

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.17 ◽

2008 ◽

Cited By ~ 4

Author(s):

Adilson Luiz Bonifácio ◽

Arnaldo Vieira Moura ◽

Adenilso da Silva Simão

Keyword(s):

Test Generation ◽

Generalized Model ◽

Model Based

Download Full-text

[Front cover]

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.51 ◽

2008 ◽

Keyword(s):

Front Cover

Download Full-text

Committees

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2008.5 ◽

2008 ◽

Download Full-text

2008 Sixth IEEE International Conference on Software Engineering and Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

list-reviewer

Author index

[Title page iv]

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

[Title page i]

Abstract Interpretation in Code Security

[Title page iii]

A Generalized Model-Based Test Generation Method

[Front cover]

Committees

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Latest Publications