Formal Methods for Distributed System Development

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	AJAMI, Khalil, Haddad, Serge, Ilié, Jean-Michel
Format:	Recurso digital
Language:	English
Published:	Zenodo 2000
Subjects:	Verification and validation Temporal logic model-checking symmetries partial symmetries Biichi automata well-formed Petri nets.
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Description not available.

Similar Items