Contribution a la conception de systemes temps-reel

media/pim/TITELIVE/45_9786131534706_1_75.jpg

ajouter
Contribution a la conception de systemes temps-reel
69,00€

Vendu et expédié par : Cultura

État : Neuf

INDISPONIBLE EN LIGNE

 

Plus que pour profiter de la promotion
Plus que pour profiter de la livraison dès demain en magasin

stock en magasin

Retrouvez le produit près de chez vous.

*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier
Réservez en ligne &
retirez sous 2h
Livraison gratuite en
magasin
Retour en magasin
sous 30 jours

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Cet ouvrage s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxième partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.
 
Contribution a la conception de systemes temps-reel

Contribution a la conception de systemes temps-reel

On vous recommande avec votre achat
Contribution a la conception de systemes temps-reel

Contribution a la conception de systemes temps-reel

69,00€
+
voir mon panier

Découvrez aussi

Critiques et Essais Littéraires Livre de Lettres et Linguistique Livres universitaires Livre

Livre de Lettres et Linguistique

Dictionnaires - Méthodes Linguistiques • Textes Littéraires • Critiques et Essais Littéraires • Textes Latin et Grec • Livre de Linguistique en poche

Livres universitaires

Meilleures ventes : Livres universitaires • Nouveautés : Livres universitaires • Précommandes : Livres universitaires • Livre Sciences Politiques • Livre de Droit • Livre sur l'Entreprise • Livre sur l'Emploi • Livre Comptabilité et Finance ...

... Livre Informatique • Livre de Lettres et Linguistique • Livre Culture générale • Livre Médecine et Paramédical • Livre Gestion de patrimoine et finance • Livre BTS • Livres Universitaires IUT et DUT • Livres classes prépas grandes écoles ...

... Livres préparation aux concours • Livres universitaires d'occasion • Livres universitaires post bac et préparation concours

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Code Rousseau : De la route B (édition 2026) • Littérature : 150 textes théoriques et critiques • Code Vagnon : Permis plaisance, option côtière (édition 2026) • APPRENDRE UNE QUESTION DE STRATEGIES • Code Rousseau : Moto (édition 2025) ...

... TOEIC ® : les tests officiels corrigés Nouvelle édition • Tout l'anglais aux concours - Concours écoles de commerce, d'ingénieur, Sciences Po et IEP (3e édition) • Antifragile , les bienfaits du désordre • L'Archéofuturisme ...

... Dictionnaire juridique politique economique et financier • Mises en page(s) etc. - manuel - fondamentaux, éléments de base, principes de grille, supports, études de cas, annexes • Le guide visuel d'éducation financière : Devenez votre meilleur conseiller !

retour haut de page
retour haut de page
Réservez en ligne &
retirez en magasin sous 2h
Livraison gratuite en
magasin dès le lendemain
Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire
Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Veuillez saisir une adresse e-mail valide.
Par exemple : [email protected]

Félicitations, votre inscription a bien été prise en compte !

Vous pouvez à tout moment vous désinscrire via le lien de désabonnement présent dans la newsletter.
En savoir plus sur notre politique de protection des données personnelles, cliquez ici

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.