↓ Skip to main content
What is this page? Embed badge

Formal Development of a Network-Centric RTOS

Overview of attention for book
Cover of 'Formal Development of a Network-Centric RTOS'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology
  3. Altmetric Badge
    Chapter 2 Requirements and Specifications for the OpenComRTOS Project
  4. Altmetric Badge
    Chapter 3 The Choice of TLA + /TLC: Comparing Formal Methods
  5. Altmetric Badge
    Chapter 4 Basic Formal Specification in TLA +
  6. Altmetric Badge
    Chapter 5 Formal Modelling of the RTOS Entities
  7. Altmetric Badge
    Chapter 6 Final Architecture of the RTOS
  8. Altmetric Badge
    Chapter 7 Task Interaction Models in OpenComRTOS
  9. Altmetric Badge
    Chapter 8 Results: Code Size and Performance
  10. Altmetric Badge
    Chapter 9 OpenComRTOS-Suite 1.3 Usage Tutorial
  11. Altmetric Badge
    Chapter 10 Foundations for TLA + and Temporal Logic
  12. Altmetric Badge
    Chapter 11 Comparision of Formal Methods
Attention for Chapter 3: The Choice of TLA + /TLC: Comparing Formal Methods
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 12 publications that cite this research output.

12

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

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

Click here to find out how to access more activity.

This page is provided by Altmetric.