Extended NuSMV 1.1

Programmes connexes

• Voice Widget Gratuit

  Démarrez l’enregistreur vocal, Youtube, tv ou radio, explorer ou rechercher en un seul clic.2 beaux widgets pour lier votre enregistreur vocal de téléphone, Youtube, TV ou radio, explorateur ou recherche. Le style de concep

• ZIPCodeWorld Store Locator .NET Component Essai gratuit

  ZIPCodeWorld Store Locator .NET est un contrôle de localisation de magasin pour tous les développeurs .NET. Votre propre service de localisation de magasins aux États-Unis ou au Canada peut être opérationnel en quelques minut

• Mobile Data On/Off Toggle Gratuit

  Données mobiles on/off ToggleMobile Data On/Off Toggle switcherMobile Data On/Off Toggle switcherMobile Data OnOff Toggle switch.- Cette nécessité logicielle Enable "Mobile data" in System settings . Logiciel mobile

• OCF Resource Agent for SAP Gratuit

  Fournit aux agents de ressources conformes à OCF (Open Cluster Framework) l’exécute dans un cluster de haute disponibilité Linux (comme le projet Linux-HA).

• Wintermute Engine DevKit Gratuit

  Wintermute Engine Development Kit est un ensemble d’outils pour créer et exécuter des jeux d’aventure graphiques point&click, à la fois traditionnels 2D et modernes jeux 2.5D (caractères 3D sur fond 2D).

• Aginity Netezza Workbench Gratuit

  Aginity est un partenaire de Netezza Solution Provider. Le Workbench est né de notre besoin d’outils spécifiques pour soutenir notre vaste expérience dans le développement de grands systèmes sur l’appareil Netezza. Workbench

• xUnit - Unit Testing Framework Gratuit

  xUnit est un cadre de test unitaire de style XP. xUnit utilise un protocole entre une extrémité avant pour afficher les résultats des tests et un pilote de test lié aux applications - supprimant les dépendances de temps de li

• perf2rrd Gratuit

  perf2rrd est un programme écrit en Java (tm) qui capture la sortie de données de performance par le système de surveillance Nagios (R) et le stocke dans des fichiers de base de données à la ronde comme implememented par RRDto

• MisterHouse: Home Automation with Perl Gratuit

  MisterHouse est un programme de domotique Windows/Unix écrit en Perl. Il peut répondre aux commandes vocales, navigateurs Web, heure de la journée, port de série et données X10, fichiers externes, etc et peut parler via les m

• IFM - Interface Management System Gratuit

  IFM (anciennement wxIFM) est une bibliothèque de gestion d’interface conçue pour ajouter des fenêtres dockables à vos applications donnant à votre interface la personnalisabilité exigée par les utilisateurs d’ordinateurs expé