Similar Items: Interface Modeling for Quality and Resource Management
- Modal Interface Automata
- A Common Interface for Automatic Differentiation
- OpenSim Creator: An Interactive User Interface for Building OpenSim Musculoskeletal Models
- Modeling and Verification of Infinite Systems with Resources
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Source Data Selection for Brain–Computer Interfaces Based on Simple Features