Formal Methods for Distributed System Development

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	AJAMI, Khalil, Haddad, Serge, Ilié, Jean-Michel
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2000
Sujets:	Verification and validation Temporal logic model-checking symmetries partial symmetries Biichi automata well-formed Petri nets.
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet