Pages that link to "Item:Q1098612"
From MaRDI portal
The following pages link to Statecharts: a visual formalism for complex systems (Q1098612):
Displaying 32 items.
- Semantics of full statecharts based on graph rewriting (Q5096287) (← links)
- Statecharts, transition structures and transformations (Q5096749) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Diagnosis of Deep Discrete-Event Systems (Q5145832) (← links)
- Software testing with an operational profile (Q5176172) (← links)
- Computational Music Therapy (Q5237293) (← links)
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (Q5248063) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)
- TCC, with History (Q5418978) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709967) (← links)
- Formal Methods in Software and Systems Modeling (Q5710407) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711547) (← links)
- Diagrammatic Representation and Inference (Q5714040) (← links)
- (Q5875399) (← links)
- Inheritance of behavior (Q5943265) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)
- Probabilistic concurrent constraint programming (Q6044121) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)
- Models for concurrent constraint programming (Q6104366) (← links)
- Equivalences of Statecharts (Q6162113) (← links)
- Coupling asynchrony and interrupts: Place Chart Nets (Q6487382) (← links)
- The consensus machine: formalising consensus in the presence of malign agents (Q6535829) (← links)
- Domain modelling: a foundation for software development (Q6535830) (← links)
- Time: it is only logical! (Q6535837) (← links)
- Hierarchical verification using verification diagrams (Q6560365) (← links)
- Artificial intelligence for games (Q6602258) (← links)
- Formal language semantics for triggered enable statecharts with a run-to-completion scheduling (Q6605353) (← links)
- Software system testing as an optimization problem (Q6619615) (← links)
