BibTeX
CSL-JSON
MLA
Harvard
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar