Pages that link to "Item:Q1098612"
From MaRDI portal
The following pages link to Statecharts: a visual formalism for complex systems (Q1098612):
Displaying 50 items.
- Schedulability analysis of a graph-based task model for mixed-criticality systems (Q255289) (← links)
- Informational landscapes in art, science, and evolution (Q263673) (← links)
- Reactive computing as model generation (Q264957) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Projection approaches to process mining using region-based techniques (Q408692) (← links)
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- Statechartable Petri nets (Q470022) (← links)
- Interface simulation distances (Q477211) (← links)
- Development of global specification for dynamically adaptive software (Q488401) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- Use of statechart diagrams for modeling of hypertext (Q557542) (← links)
- Automata and processes on multisets of communicating objects (Q609033) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Information gain of black-box testing (Q640298) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- Control of distributed systems: tutorial and overview (Q693692) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Diagnosability analysis of a class of hierarchical state machines (Q732254) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)
- Introduction to design choices in the semantics of Statecharts (Q750133) (← links)
- A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs (Q779456) (← links)
- Priorities in process algebras (Q802881) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow (Q832061) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Hierarchical fault diagnosis for discrete-event systems under global consistency (Q853679) (← links)
- Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685) (← links)
- Object oriented concepts identification from formal \(B\) specifications (Q883142) (← links)
- Pattern matching and membership for hierarchical message sequence charts (Q927396) (← links)
- Graphical inheritance notation for state-based classes (Q927454) (← links)
- Tools for support of automata-based programming (Q927470) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- The representation method of a complex software system dynamic project (Q952217) (← links)
- An operational semantics for a calculus for wireless systems (Q964487) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- A Rice-style theorem for parallel automata (Q1004287) (← links)
- Reactive mode handling of flexible manufacturing systems (Q1005184) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Deterministic finite automata with recursive calls and DPDAs (Q1014418) (← links)
