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

by Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

Published in Journal of Software and Systems Modeling by Springer Science and Business Media LLC.

2019  

Archived Files and Locations

application/pdf  3.0 MB
file_mwsp4jsrqze5hekrm6yfpl4gmm
web.archive.org (webarchive)
eprints.whiterose.ac.uk (web)
application/pdf  4.3 MB
file_nsbhthcibffvznozopzpxz747q
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2019-01-23
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1619-1366
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 0d52b4e9-ac70-4ff3-b695-4970961eddae
API URL: JSON