External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods. Rel. Eng. & Sys. Safety, 132:20-35, 2014. [doi]

Authors

Marco Bozzano

This author has not been identified. Look up 'Marco Bozzano' in Google

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Panagiotis Katsaros

This author has not been identified. Look up 'Panagiotis Katsaros' in Google

Konstantinos Mokos

This author has not been identified. Look up 'Konstantinos Mokos' in Google

Viet Yen Nguyen

This author has not been identified. Look up 'Viet Yen Nguyen' in Google

Thomas Noll

This author has not been identified. Look up 'Thomas Noll' in Google

Bart Postma

This author has not been identified. Look up 'Bart Postma' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google
runs on