Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
AlphaPeu commune

NASA-SW-VnV/fret

A framework for the elicitation, specification, formalization and analysis of requirements.

Propriétaire
NASA-SW-VnV (organisation)
Étoiles
Étoiles : 502
Forks
Forks : 75
Langage
JavaScript
Licence
Aucune
Création
2019
Sujets
consistency-checkingformal-verificationrobotic-systemssafety-critical-systemstest-case-generationearly-verification-validationprobabilistic-requirementsaerospaceautonomyrequirements
Rang
Alpha (250 à 699 ★) Ce que veut dire ce rang
Voir sur GitHub

Autres dépôts de NASA-SW-VnV

Les 2 dépôts de NASA-SW-VnV

D’autres dépôts JavaScript

Tous les dépôts JavaScript