Auto-correction of multiple spatial conflicts in multimedia authoring tools
Article in Bulletin of Electrical Engineering and Informatics (June 2023)
Formal Methods: Foundations and Applications
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Meaningful Models
-
Altmetric BadgeChapter 2 Deductive Generalization
-
Altmetric BadgeChapter 3 Unifying Theories of Logic and Specification
-
Altmetric BadgeChapter 4 Institution-Based Semantics for MOF and QVT-Relations
-
Altmetric BadgeChapter 5 Derivation and Verification of Parallel Components for the Needs of an HPC Cloud
-
Altmetric BadgeChapter 6 An Executable Semantics for a Multimedia Authoring Language
-
Altmetric BadgeChapter 7 On the Use of SPIN for Studying the Behavior of Nested Petri Nets
-
Altmetric BadgeChapter 8 Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
-
Altmetric BadgeChapter 9 Toward the Revision of CTL Models through Kripke Modal Transition Systems
-
Altmetric BadgeChapter 10 Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
-
Altmetric BadgeChapter 11 Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations
-
Altmetric BadgeChapter 12 A Refinement Framework for Autonomous Agents
-
Altmetric BadgeChapter 13 A Formal Semantics for SysML Activity Diagrams
-
Altmetric BadgeChapter 14 Formal Analysis of Memory Contention in a Multiprocessor System
-
Altmetric BadgeChapter 15 Algebraic Graph Transformations with Inheritance
-
Altmetric BadgeChapter 16 Generating Protocol Software from CPN Models Annotated with Pragmatics