Cristin-resultat-ID: 1858327
Sist endret: 22. november 2021, 13:09
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2020

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

Bidragsytere:
  • Yvonne Murray
  • Alireza David_Anisi
  • Martin Sirevåg
  • Pedro Ribeiro og
  • Rabah Saleh hagag

Bok

Formal Methods: Foundations and Applications
ISBN:
  • 978-3-030-63882-5

Utgiver

Springer
NVI-nivå 1

Serie

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2020
Hefte: 12475
Sider: 45 - 63
ISBN:
  • 978-3-030-63882-5
Open Access

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

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

Bidragsytere

Yvonne Murray

  • Tilknyttet:
    Forfatter
    ved Institutt for ingeniørvitenskap ved Universitetet i Agder

Alireza David Anisi

Bidragsyterens navn vises på dette resultatet som Alireza David_Anisi
  • Tilknyttet:
    Forfatter
    ved Institutt for ingeniørvitenskap ved Universitetet i Agder
  • Tilknyttet:
    Forfatter
    ved Institutt for maskinteknikk og teknologiledelse ved Norges miljø- og biovitenskapelige universitet

Martin Sirevåg

  • Tilknyttet:
    Forfatter
    ved Institutt for ingeniørvitenskap ved Universitetet i Agder

Pedro Ribeiro

  • Tilknyttet:
    Forfatter
    ved University of York

Rabah Saleh hagag

  • Tilknyttet:
    Forfatter
    ved Institutt for ingeniørvitenskap ved Universitetet i Agder
1 - 5 av 5

Resultatet er en del av Resultatet er en del av

Formal Methods: Foundations and Applications.

Carvalho, Gustavo; Stolz, Volker. 2020, Springer. UFdP, HVLVitenskapelig antologi/Konferanseserie
1 - 1 av 1