Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Article in Sensors (July 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Fundamentals of Software Engineering
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Protocol Scheduling
-
Altmetric BadgeChapter 2 Automated Replication of Tuple Spaces via Static Analysis
-
Altmetric BadgeChapter 3 Incremental Refinement of Goal Models with Contracts
-
Altmetric BadgeChapter 4 Adding Proof Calculi to Epistemic Logics with Structured Knowledge
-
Altmetric BadgeChapter 5 Introducing Interval Differential Dynamic Logic
-
Altmetric BadgeChapter 6 A Program Logic for Fresh Name Generation
-
Altmetric BadgeChapter 7 Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
-
Altmetric BadgeChapter 8 Extending OCL with Map and Function Types
-
Altmetric BadgeChapter 9 Deadlock in Packet Switching Networks
-
Altmetric BadgeChapter 10 Runtime Monitoring Processes Across Blockchains
-
Altmetric BadgeChapter 11 Solving Systems of Bilinear Equations for Transition Rate Reconstruction
-
Altmetric BadgeChapter 12 Term Rewriting on GPUs
-
Altmetric BadgeChapter 13 Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
-
Altmetric BadgeChapter 14 Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications
-
Altmetric BadgeChapter 15 Compressing Automatically Generated Unit Test Suites Through Test Parameterization
-
Altmetric BadgeChapter 16 Systematic Extraction of Tests from Object-Oriented Programs
Attention for Chapter 13:
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays