Pages that link to "Item:Q1098612"

The following pages link to Statecharts: a visual formalism for complex systems (Q1098612):

Displaying 50 items.

• Introducing probabilities in statecharts to specify reactive systems for performance analysis (Q2489295) (← links)
• Concurrency in synchronous systems (Q2505637) (← links)
• Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
• Verification of system level model transformations (Q2506292) (← links)
• Video model for dynamic objects (Q2509209) (← links)
• Specification and analysis of timing requirements for real-time systems in the CBD approach (Q2642537) (← links)
• Compositional equivalences based on open pNets (Q2683032) (← links)
• Constraint diagrams (Q2723559) (← links)
• Invariant-based synthesis of fault-tolerant systems (Q2766630) (← links)
• Automatic layout of statecharts (Q2783199) (← links)
• Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
• Zooming-out on higraph-based diagrams: syntactic and semantic issues (Q2841269) (← links)
• A modular formal semantics for Ptolemy (Q2843863) (← links)
• Concurrency in biological modeling: behavior, execution and visualization (Q2870303) (← links)
• Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
• Merging hierarchically-structured documents in workflow systems (Q2873660) (← links)
• Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
• Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
• The compositional construction of Markov processes II (Q3006162) (← links)
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS (Q3021937) (← links)
• Function block design for adaptive execution control of job shop machining operations (Q3055441) (← links)
• Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
• A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
• Dynamic Reactive Modules (Q3090845) (← links)
• (Q3111926) (← links)
• Introduction to Model Checking (Q3176359) (← links)
• Modeling for Verification (Q3176361) (← links)
• Dynamic State Machines for Formalizing Railway Control System Specifications (Q3460219) (← links)
• Co-operative functional/hybrid behavioural models for dynamical failure assessment (Q3541183) (← links)
• Immune Systems and Computation: An Interdisciplinary Adventure (Q3543329) (← links)
• What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
• Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
• Software Reliability Prediction Based on a Formal Requirements Specification (Q3628616) (← links)
• Are Statecharts Finite Automata? (Q3637362) (← links)
• A Framework for the Static and Interactive Visualization of Statecharts (Q4405603) (← links)
• Generating graphical applications from state-transition visual specifications (Q4406139) (← links)
• (Q4499181) (← links)
• REGULAR STATE MACHINES (Q4526933) (← links)
• Timed soft concurrent constraint programs: An interleaved and a parallel approach (Q4593013) (← links)
• Programming in logic without logic programming (Q4593027) (← links)
• A graph rewriting framework for Statecharts semantics (Q4645270) (← links)
• Algorithmic support for model transformation in object-oriented software development (Q4790926) (← links)
• An Algebraic Foundation for Graph-based Diagrams in Computing (Q4917065) (← links)
• Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
• A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
• Specifying and Implementing Visual Process Modeling Languages with DiaGen1 1Support by the Esprit Working Group AppliGraph is gratefully acknowledged. (Q4923509) (← links)
• (Q5015367) (← links)
• Unifying models (Q5047155) (← links)
• Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
• What is in a step: On the semantics of statecharts (Q5096220) (← links)