scientific article; zbMATH DE number 1301627
From MaRDI portal
Publication:4246828
Recommendations
Cited in
(12)- An action-based formal model for concurrent real-time systems
- Object-oriented hybrid systems of coalgebras plus monoid actions
- Coordinating action systems
- Hybrid action systems
- Continuous action systems as a model for hybrid systems
- Linear hybrid action systems
- scientific article; zbMATH DE number 1696508 (Why is no real title available?)
- A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
- Continuous Action System Refinement
- scientific article; zbMATH DE number 1303073 (Why is no real title available?)
- scientific article; zbMATH DE number 2080012 (Why is no real title available?)
- Action systems in incremental and aspect-oriented modeling
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246828)