Safety Assurance of a High Voltage Controller for an Industrial Robotic System

Saved in:
Bibliographic Details
Main Authors: Murray, Yvonne, David_Anisi, Alireza, Sirevåg, Martin, Ribeiro, Pedro
Format: Book
Language:English
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Murray, Yvonne
David_Anisi, Alireza
Sirevåg, Martin
Ribeiro, Pedro
description
format book
fullrecord <record><control><sourceid>cristin_3HK</sourceid><recordid>TN_cdi_cristin_nora_11250_2789160</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>11250_2789160</sourcerecordid><originalsourceid>FETCH-cristin_nora_11250_27891603</originalsourceid><addsrcrecordid>eNqNyjsOwjAMANAsDAi4gzkAUlPEb0QVqCwMFLFGJiQlUrAlxx16exYOwPSWNzXXDmPQEY6lDILkA3AEhDb1b3hwVuwDNEwqnHMQiCyABBd6DUUlYYYbP1mTh24sGj5zM4mYS1j8nJnl-XRv2pWXVDSRIxZ01tabytW7_cFuq_U_5wurhzWM</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype></control><display><type>book</type><title>Safety Assurance of a High Voltage Controller for an Industrial Robotic System</title><source>NORA - Norwegian Open Research Archives</source><creator>Murray, Yvonne ; David_Anisi, Alireza ; Sirevåg, Martin ; Ribeiro, Pedro</creator><creatorcontrib>Murray, Yvonne ; David_Anisi, Alireza ; Sirevåg, Martin ; Ribeiro, Pedro</creatorcontrib><language>eng</language><ispartof>Formal Methods: Foundations and Applications, 2020</ispartof><rights>info:eu-repo/semantics/openAccess</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,307,776,881,4034,26544</link.rule.ids><linktorsrc>$$Uhttp://hdl.handle.net/11250/2789160$$EView_record_in_NORA$$FView_record_in_$$GNORA$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Murray, Yvonne</creatorcontrib><creatorcontrib>David_Anisi, Alireza</creatorcontrib><creatorcontrib>Sirevåg, Martin</creatorcontrib><creatorcontrib>Ribeiro, Pedro</creatorcontrib><title>Safety Assurance of a High Voltage Controller for an Industrial Robotic System</title><title>Formal Methods: Foundations and Applications</title><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2020</creationdate><recordtype>book</recordtype><sourceid>3HK</sourceid><recordid>eNqNyjsOwjAMANAsDAi4gzkAUlPEb0QVqCwMFLFGJiQlUrAlxx16exYOwPSWNzXXDmPQEY6lDILkA3AEhDb1b3hwVuwDNEwqnHMQiCyABBd6DUUlYYYbP1mTh24sGj5zM4mYS1j8nJnl-XRv2pWXVDSRIxZ01tabytW7_cFuq_U_5wurhzWM</recordid><startdate>2020</startdate><enddate>2020</enddate><creator>Murray, Yvonne</creator><creator>David_Anisi, Alireza</creator><creator>Sirevåg, Martin</creator><creator>Ribeiro, Pedro</creator><scope>3HK</scope></search><sort><creationdate>2020</creationdate><title>Safety Assurance of a High Voltage Controller for an Industrial Robotic System</title><author>Murray, Yvonne ; David_Anisi, Alireza ; Sirevåg, Martin ; Ribeiro, Pedro</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-cristin_nora_11250_27891603</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2020</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Murray, Yvonne</creatorcontrib><creatorcontrib>David_Anisi, Alireza</creatorcontrib><creatorcontrib>Sirevåg, Martin</creatorcontrib><creatorcontrib>Ribeiro, Pedro</creatorcontrib><collection>NORA - Norwegian Open Research Archives</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Murray, Yvonne</au><au>David_Anisi, Alireza</au><au>Sirevåg, Martin</au><au>Ribeiro, Pedro</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><atitle>Safety Assurance of a High Voltage Controller for an Industrial Robotic System</atitle><btitle>Formal Methods: Foundations and Applications</btitle><date>2020</date><risdate>2020</risdate><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof Formal Methods: Foundations and Applications, 2020
issn
language eng
recordid cdi_cristin_nora_11250_2789160
source NORA - Norwegian Open Research Archives
title Safety Assurance of a High Voltage Controller for an Industrial Robotic System
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T20%3A28%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-cristin_3HK&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.atitle=Safety%20Assurance%20of%20a%20High%20Voltage%20Controller%20for%20an%20Industrial%20Robotic%20System&rft.btitle=Formal%20Methods:%20Foundations%20and%20Applications&rft.au=Murray,%20Yvonne&rft.date=2020&rft_id=info:doi/&rft_dat=%3Ccristin_3HK%3E11250_2789160%3C/cristin_3HK%3E%3Cgrp_id%3Ecdi_FETCH-cristin_nora_11250_27891603%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true