Formal Methods for the Design of Real-Time Systems

Overview of attention for book

Cover of 'Formal Methods for the Design of Real-Time Systems'

Table of Contents

Attention for Chapter 8: The IF Toolset

Altmetric Badge

Citations

dimensions_citation: 10 Dimensions

Readers on

mendeley: 21 Mendeley

Summary Dimensions citations

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

10

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

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets

Article in Mathematics (March 2024)

Anomaly detection in substation networks

Article in Journal of Information Security and Applications (October 2020)

Timed Automata Benchmark Description

Preprint in arXiv (May 2020)

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

Click here to find out how to access more activity.