.com
CATEGORIES
- Antivirus
- Outils de compression
- Outils CD/DVD
- Outils Office
- Programmation
- Outils Authoring
- Gestion des fichiers
- Utilitaires Bureau
- Internet
- Outils Réseau
- Outils IPOD
- Outils Téléphone portable
- Multimédia
- Modificateurs
- Système
- Sécurité
- Autres
- Science / CAD
- UNIX
- Windows Widgets
- Logiciels portables
LOGICIEL AU HASARD
MyReader 1.3.0 :
Texte-voix logiciel de lecture 4 langues: Anglais, allemand, italien, espagnol. ...
  
Télécharger Uppaal 4.0.6 Rev 2987 gratuitement 
Catégorie : Science / CAD

Taille : 6.66 MB
Systèmes d'exploitations : Toutes les versions Windows/Unix
Licence : Gratuit
Nombre des téléchargements : 278




Uppaal 4.0.6 Rev 2987 :
Un outil intégré pour la modélisation, la validation et la vérification des systèmes en temps réel Les systèmes en temps réel utilisé par UPPAAL sont modélisés comme des réseaux d'automates temporisés, étendu avec les types de données (tableaux, délimitée entiers, etc.)

L'outil est développé en collaboration entre le Département des technologies de l'information à l'Université d'Uppsala, en Suède et au Département d'Informatique à l'université de Aalborg au Danemark.

Uppaal est approprié pour les systèmes que c...


ID07.com - Copyright 2008