Searching for "Refinement and state machine abstraction." – sorted by Relevance.
-
Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study
- for defining and refining state machines, abstractions that are fundamental to simulators. We present
- Cited by 34 (1 self) – Add To MetaCart

