Langage de spécification par propriétés (Cours + TD)
search
  • Langage de spécification par propriétés (Cours + TD)
  • Langage de spécification par propriétés (Cours + TD)

Langage de spécification par propriétés (Cours + TD)


49,90 €
47,40 € Économisez 5%

PSL permet d’instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un système électronique.

PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception.

En comparant avec d’autres langages de programmation classiques, la syntaxe et la sémantique du PSL inclut notations des couches, dont chaque couche à sa propre syntaxe.

L’objectif de ce livre est d’aider le lecteur à se familiariser au langage PSL.

Ce livre est décomposé en deux parties.

La première partie détaille les notions générales du langage PSL à savoir les couches et les instructions PSL.

On a réservé un chapitre pour chaque couche.

Chaque chapitre est bien équipé par des exemples ainsi que de chronogrammes "waves " de simulation.

La deuxième partie "partie applicative" est réservée aux exercices.

Cette partie à pour a pour objectif : -Adapter à coder en langage PSL -Ajouter les regèles de vérification -Simuler le code -Extraire les fautes éventuelles de conception -Voir les sources de ces fautes -Corriger les fautes éventuelles de conception

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.

Quantité
Disponible

En achetant ce produit, vous collectez jusqu'à 4 points de fidélité. Votre panier totalisera 4 points à convertir lors d’un prochain achat en un bon de réduction de 2,00 €.


Bouraoui Ouni est un maitre de conférences à école nationale d’ingénieurs de Sousse.

Son domaine de recherche couvre : les architectures reconfigurables à base d’FPGA, techniques d’optimisation, conception des applications à base d’FPGA, théorie des graphes.

Il est l’auteur de trois livres et l'auteur ou le co-auteur de plusieurs articles.


Fiche technique

Auteur
Bouraoui Ouni
Langue
Français
Éditeur
Éditions universitaires européennes
Pays
Tunisie Tunisie

Autres oeuvres de Bouraoui Ouni

Applications à base d'FPGA

Applications à base d'FPGA

Bouraoui Ouni
59.90 € 5% 56.90 €

30 autres produits dans la même catégorie :

Voir tout

Voir tout