Sciweavers

145
Voted
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
16 years 18 days 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...