Search

Your search keyword '"Trojet, Wassim"' showing total 1 results
Start Over Author "Trojet, Wassim" Language french
1 results on '"Trojet, Wassim"'

1. Formal Verification of DEVS Models Using Z

Author

Trojet, Wassim, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU), LSIS, and Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO]Computer Science [cs], [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

no abstract

Published
2008

Catalog

Books, media, physical & digital resources
See catalog results