Logo
Registracija
Postani član
Nazad
Hamza Bourbouh, M. Farrell, Anastasia Mavridou, Irfan Šljivo, G. Brat, Louise Dennis, M. Fisher
18 2021.

Integrating Formal Verification and Assurance: An Inspection Rover Case Study

NASA Formal Methods

Preuzmi PDF

Pretplatite se na novosti o BH Akademskom Imeniku

Početna
Pretraga
Prijavi se

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo

Saznaj više