Skip to main content

2 Result(s)

within English Remove this filter Programming Techniques Remove this filter Alvaro Miyazawa Remove this filter Article Remove this filter

and
Your search also matched 1 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

An integrated semantics for reasoning about SysML design models using refinement

Include preview-only content

  1. Article

    Open Access

    Probabilistic modelling and verification using RoboChart and PRISM

    RoboChart is a timed domain-specific language for robotics, distinctive in its support for automated verification by model checking and theorem proving. Since uncertainty is an essential part of robotic system...

    Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa… in Software and Systems Modeling (2022)

    Download PDF (8751 KB) View Article

  2. Article

    Open Access

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

    Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide variety of applications, many with potential safety hazards. The work presented in this paper proposes a set of construc...

    Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti… in Software & Systems Modeling (2019)

    Download PDF (4188 KB) View Article