13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)
Latest Publications

TOTAL DOCUMENTS

47
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

9780769531397, 0769531393
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Environment to Support Large Scale Experimentation in Software Engineering

2008 ◽  
Author(s):  
Guilherme H. Travassos ◽  
Paulo Sérgio Medeiros dos Santos ◽  
Paula Gomes Mian ◽  
Paula Gomes Mian Neto ◽  
Jorge Biolchini
Keyword(s):  
Software Engineering ◽  
Large Scale ◽  
Experimentation In Software Engineering

AADL Execution Semantics Transformation for Formal Verification

2008 ◽  
Author(s):  
Thomas Abdoul ◽  
Joel Champeau ◽  
Philippe Dhaussy ◽  
Pierre Yves Pillain ◽  
Jean-Charles Roger
Keyword(s):  
Formal Verification ◽  
Execution Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document