Sciweavers

ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
13 years 11 months ago
Why Are Modalities Good for Interface Theories?
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...