Sciweavers

5457 search results - page 57 / 1092
» Software Component Independence
Sort
View
66
Voted
EUROMICRO
2004
IEEE
15 years 6 months ago
Logical-Time Contracts for Reactive Embedded Components
Florence Maraninchi, Lionel Morel
106
Voted
CBSE
2008
Springer
15 years 4 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná