Pages that link to "Item:Q1098612"

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

Displaying 50 items.

• A metamodel for the design of polychronous systems (Q1014564) (← links)
• Invariant based programming: Basic approach and teaching experiences (Q1019025) (← links)
• On the computational power of BlenX (Q1044845) (← links)
• Physigrams: Modelling devices for natural interaction (Q1047222) (← links)
• Compositional semantics for real-time distributed computing (Q1119027) (← links)
• Functional specification and proof of correctness for time dependent behaviour of reactive systems (Q1176111) (← links)
• Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
• A denotational theory of synchronous reactive systems (Q1193599) (← links)
• Operational specification with joint actions: Serializable databases (Q1193603) (← links)
• A compositional axiomatization of statecharts (Q1194330) (← links)
• A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
• Models for reactivity (Q1323323) (← links)
• Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
• Automatic generation of invariants and intermediate assertions (Q1391929) (← links)
• An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
• Efficient implementation of regular languages using reversed alternating finite automata (Q1575901) (← links)
• Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997 (Q1586200) (← links)
• Refinement of time (Q1589580) (← links)
• PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
• Requirements specifications checking of embedded real time software (Q1599643) (← links)
• A methodology to take credit for high-level verification during RTL verification (Q1696592) (← links)
• Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
• Parameterized verification of monotone information systems (Q1798673) (← links)
• A modeling strategy for hybrid systems based on event structures (Q1801470) (← links)
• On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
• A comparison of Statecharts step semantics (Q1853596) (← links)
• Alternation and bounded concurrency are reverse equivalent. (Q1854297) (← links)
• A timed concurrent constraint language. (Q1854359) (← links)
• On the complexity of verifying concurrent transition systems (Q1854510) (← links)
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
• Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
• Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
• Nonblocking supervisory control of state-tree structures with event forcing (Q2094965) (← links)
• Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
• Formal analysis of the application programming interface of the PVS verification system (Q2168789) (← links)
• Supervisory control of state-tree structures with partial observation (Q2200558) (← links)
• Modeling and visualizing object-oriented programs with Codecharts (Q2248065) (← links)
• Verification and enforcement of access control policies (Q2248087) (← links)
• Hierarchical hybrid logic (Q2333323) (← links)
• A verification-driven framework for iterative design of controllers (Q2335947) (← links)
• Sampling automata and programs (Q2339473) (← links)
• Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
• Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
• Verifiable agent dialogues (Q2372183) (← links)
• The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
• The semiotics of spider diagrams (Q2399601) (← links)
• Nested-unit Petri nets (Q2423743) (← links)
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
• GemCell: A generic platform for modeling multi-cellular biological systems (Q2474439) (← links)