Cristin-resultat-ID: 1851260
Sist endret: 23. november 2020, 18:02
Resultat
Vitenskapelig antologi/Konferanseserie
2020

Formal Methods: Foundations and Applications

Bidragsytere:
  • Gustavo Carvalho og
  • Volker Stolz

Utgiver/serie

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 antologi/Konferanseserie
Publiseringsår: 2020
Hefte: 12475
Antall sider: 229
ISBN: 978-3-030-63882-5

Klassifisering

Fagfelt (NPI)

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

Beskrivelse Beskrivelse

Tittel

Formal Methods: Foundations and Applications

Bidragsytere

Gustavo Carvalho

  • Tilknyttet:
    Redaktør
    ved Universidade Federal de Pernambuco
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Redaktør
    ved Høgskulen på Vestlandet
1 - 2 av 2

Kapitler/Artikler Kapitler/Artikler

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

Murray, Yvonne; David_Anisi, Alireza; Sirevåg, Martin; Ribeiro, Pedro; hagag, Rabah Saleh. 2020, Springer. NMBU, UIA, UoYVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 1 av 1