Dictionnaire français - anglais

électronique et électrotechnique - iate.europa.eu
Automated verification of an audio control protocol using uppaalIn this paper we present a case-study in which the tool Uppaal is extended and applied to verify an Audio-Control Protocol developed by Philips....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Automated analysis of an audio control protocol usingthis paper we present a case-study where the tool Uppaal is extended and applied to verify an Audio-Control Protocol developed by Philips....
Automated analysis of an audio control protocol... We show how HyTech, a symbolic model checker for linear hybrid systems, can be used to analyze an audio control protocol....
Automated analysis of an audio control protocol... We show how HyTech, a symbolic model checker for linear hybrid systems, can be used to analyze an audio control protocol....

Traductions en contexte français - anglais

Ce dispositif comprend un appareil de contrôle du son et un circuit de traitement.

The device includes a sound monitoring apparatus and a processing circuit.

technologie et réglementation technique - wipo.int
En parlant de contrôle, la connectivité Wi-Fi et les applications Midas iOS dédiées facilitent encore plus le contrôle du son à distance jusqu'au contrôle du moniteur.

Speaking of control, Wi-Fi connectivity and dedicated Midas iOS apps make everything from remote sound checks to monitor control even more convenient.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues