Sciweavers

31387 search results - page 235 / 6278
» Abstracts
Sort
View
EDOC
2004
IEEE
15 years 10 months ago
On the Notion of Abstract Platform in MDA Development
João Paulo A. Almeida, Remco M. Dijkman, Ma...
CIE
2006
Springer
15 years 10 months ago
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
traction for an Object-Oriented Calculus with Thread Classes Erika
Erika Ábrahám, Andreas Grüner, ...
FDL
2004
IEEE
15 years 10 months ago
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar