The following pages link to (Q4471664):
Displaying 4 items.
- Framework and authoring tool for an extension of the UIML language (Q733277) (← links)
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay (Q1652451) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications (Q3058801) (← links)
