Sciweavers

ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
14 years 7 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...