Searching for "Formal Methods for Component-Based Systems." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Specification and Verification of Component-Based Systems Workshop
- … of the effort in formal methods on component-based systems. Besides issues important in object…
- Add To MetaCart
-
Component-based Algebraic Specification and Verification in CafeOBJ
- … present a formal method for component-based system specification and verification which is based…
- Cited by 8 (7 self) – Add To MetaCart
-
SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems Workshop
- … to bring together researchers and practitioners in the areas of component-based software and formal methods…
- Add To MetaCart
-
Abstract behavior types: A foundation model for components and their composition
- … and formal methods for component based systems wherein the same rules for compositional construction…
- Cited by 53 (12 self) – Add To MetaCart
Showing 1 through 4.
