Showing
1 - 6
results of
6
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Sirevåg, Martin
Search Results - Sirevåg, Martin
Showing
1 - 6
results of
6
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Safety assurance of an industrial robotic control system using hardware/software co-verification
by
Murray, Yvonne
,
Sirevåg, Martin
,
Ribeiro, Pedro
,
Anisi, David A.
,
Mossige, Morten
Published in
Science of computer programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
by
Murray, Yvonne
,
David_Anisi, Alireza
,
Sirevåg, Martin
,
Ribeiro, Pedro
Request full text
Book
Save to List
Saved in:
3
Loading…
Safety assurance of high voltage control module in a robotic paint system
by
Sirevåg, Martin
,
Hagag, Rabah Saleh
Request full text
Dissertation
Save to List
Saved in:
4
Loading…
Safety assurance of an industrial robotic control system using hardware/software co-verification
by
Murray, Yvonne
,
Sirevåg, Martin
,
Ribeiro, Pedro
,
Anisi, David A
,
Mossige, Morten
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
5
Loading…
Safety assurance of an industrial robotic control system using hardware/software co-verification
by
Murray, Yvonne
,
Sirevåg, Martin
,
Ribeiro, Pedro
,
Anisi, Alireza David
,
Mossige, Morten
Request full text
Article
Save to List
Saved in:
6
Loading…
Safety assurance of an industrial robotic control system using hardware/software co-verification
by
Murray, Yvonne
,
Sirevåg, Martin
,
Ribeiro, Pedro
,
Anisi, Alireza David
,
Mossige, Morten
Request full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
6 results
6
Format
Articles
4 results
4
Books
1 results
1
Dissertations
1 results
1
Journal Title
Arxiv.org
1 results
1
Science Of Computer Programming
1 results
1
Subjects
Robotics
3 results
3
Verification
3 results
3
Cyber-Physical Systems
2 results
2
Formal Methods
2 results
2
Formelle Metoder
2 results
2
Robotikk
2 results
2
Verifikasjon
2 results
2
Co-Verification
1 results
1
Computer Science
1 results
1
Computer Science - Formal Languages And Automata Theory
1 results
1
Computer Science - Robotics
1 results
1
Computer Science, Software Engineering
1 results
1
Control Systems
1 results
1
Feedback Control
1 results
1
Formal Verification
1 results
1
Hardware
1 results
1
High Voltages
1 results
1
Industrial Robots
1 results
1
Industrial Safety
1 results
1
Manufacturing Engineering
1 results
1
Year of Publication
From:
To:
Source
Nora - Norwegian Open Research Archives
4 results
4
Bacon - Elsevier - Global Sciencedirect-Openaccess
1 results
1
Sciencedirect Journals
1 results
1
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Sciencedirect Freedom Collection
1 results
1
Road: Directory Of Open Access Scholarly Resources
1 results
1
Ezb Electronic Journals Library
1 results
1
Publicly Available Content (Proquest)
1 results
1