Unifying Theories of Programming and Formal Engineering Methods

Overview of attention for book

Cover of 'Unifying Theories of Programming and Formal Engineering Methods'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 rCOS: Defining Meanings of Component-Based Software Architectures
Altmetric Badge

Chapter 2 Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Altmetric Badge

Chapter 3 Unifying Theories of Programming and Formal Engineering Methods
Altmetric Badge

Chapter 4 FORMULA 2.0: A Language for Formal Specifications
Altmetric Badge

Chapter 5 Formal Modelling, Analysis and Verification of Hybrid Systems

Attention for Chapter 1: rCOS: Defining Meanings of Component-Based Software Architectures

Altmetric Badge

Citations

dimensions_citation: 2 Dimensions

Readers on

mendeley: 15 Mendeley

Summary Dimensions citations

So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

UTP, Circus, and Isabelle

Book chapter in Lecture Notes in Computer Science (September 2023)

Manifest domains: analysis and description

Article in Formal Aspects of Computing (July 2016)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.