RoboChart: modelling and verification of the functional behaviour of robotic applications

Overview of attention for article published in Software and Systems Modeling, January 2019

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 80 Dimensions

Readers on

mendeley: 58 Mendeley

Summary X Dimensions citations

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

80

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

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

Article in Science of Computer Programming (April 2024)

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review

Article in ACM Transactions on Software Engineering and Methodology (March 2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models

Preprint in arXiv (March 2024)