Towards the Design of Safety-Critical Software

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	R. Rafeh
Format:	Artículo científico
Langue:	en
Publié:	Universidad Nacional Autónoma de México 2013
Sujets:	Ingeniería CIIP Safety hazard formal languages critical software
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet