Work

Verification for space robotics

Year: 2021

Type: book-chapter

Source: Institution of Engineering and Technology eBooks

DOI: 10.1049/pbce131e_ch11

Authors: Rafael C. Cardoso, Marie Farrell, Georgios Kourtis, Matt Webster, Louise A. Dennis, Clare Dixon, Michael Fisher, Alexei Lisitsa

Institutions: University of Liverpool, National University of Ireland, Maynooth, University of Manchester, Liverpool John Moores University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3209472602

FWCI: 0.584

Cites:

Cited by: 2

Related to: 10