FORMAL METHODS IN SYSTEM DESIGN (DORDR., ONLINE)

Rivista

Codice:

E200716

ISSN:

1572-8102

Dati Generali

Pubblicazioni (2)

Assisting requirement formalization by means of natural language translation

Articolo

Compositional verification of concurrent systems by combining bisimulations

Articolo

No Results Found