- Tytuł:
- A Modal Interface Theory for Component-based Design
- Autorzy:
-
Raclet, J. B.
Benveniste, A.
Legay, A.
Badouel, E.
Caillaud, B.
Passerone, R. - Data publikacji:
- 2011
- Słowa kluczowe:
-
component-based system
compositional reasoning
interface theory
interface automata
modal specifications - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł