Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Contribution La Conception de Syst mes Temps-R el

Language FrenchFrench
Book Paperback
Book Contribution La Conception de Syst mes Temps-R el Christophe Lohr
Libristo code: 06996606
Publishers Omniscriptum, February 2018
Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formell... Full description
? points 180 b
73.59 € VAT included
In stock at our supplier Shipping in 10-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Shakespeare and Tolerance B. J. Sokol / Book Paperback
common.buy 50.19 €
The Many Afterlives of John Robert Thompson Valerie Lioudis / Book Paperback
common.buy 10.99 €
90's-The Collection,Vol.4 Various / Audio Audio CD
common.buy 22.79 €
MORD ist nix für Anfänger Silke Heinig / Book Paperback
common.buy 9.00 €
Los crimenes de Grindelwald. Guion original de la pelicula / The Crimes of Grindelwald: The Original Screenplay Joanne Rowling / Book Hardback
common.buy 14.69 €
Foundations in Music Psychology Andrew J. Oxenham / Book Hardback
common.buy 126.09 €
What to Eat During Cancer Treatment The American Cancer Society / Book Hardback
common.buy 18.49 €
SDM Live Magazine Issue #19 2018 Cheraee C / Book Paperback
common.buy 10.69 €
Pólis/Cosmópolis: Identidades Globais & Locais Carmen Soares / Book Paperback
common.buy 40.39 €
Fabulous Frenchies: French Bulldog Adult Coloring Book Heather Land / Book Paperback
common.buy 8.99 €
Fashion Vintage Coloring Book for Adult: Vintage Floral Dresses, and Relaxing Flower Patterns And Relaxing Flo Vintage Floral Dresses / Book Paperback
common.buy 8.99 €
A Banger In Belgrave Hospital: street poems by Arthur Kitchener MR Arthur John Kitchener / Book Paperback
common.buy 12.49 €
An Overview of the Amendments to the Constitution Bob Navarro / Book Paperback
common.buy 8.59 €
Log Horizon: The West Wind Brigade, Vol. 7 Mamare Touno / Book Paperback
common.buy 9.19 €
El Origen de Las Especies Charles Darwin / Book Paperback
common.buy 10.09 €
Slavery Leonie Archer / Book Hardback
common.buy 179.19 €
So einfach ist Modellieren mit Ton! Karin Weidlich / Book Paperback
common.buy 15.99 €
Куколки Д. Уиндем / Book Paperback
common.buy 9.09 €
Star Trek: Picard: Rogue Elements John Jackson Miller / Book Paperback
common.buy 10.89 €
Michael Storrings Christmas Market 1000 Piece Puzzle Galison / Game/Toy Jigsaw puzzle
common.buy 15.39 €
Little Sarasota Dining Book 2022 Larry Hoffman / Book Paperback
common.buy 7.89 €
Grey E L James / Book Paperback
common.buy 9.99 €
Спасти себя и близких. Правила выживания в экстремальных условиях / Book Hardback
common.buy 9.09 €
The Beginning after the End 1 Fuyuki23 / Book Paperback
common.buy 16.00 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Contribution La Conception de Syst mes Temps-R el
Author Christophe Lohr
Language French
Binding Book - Paperback
Date of issue 2018
Number of pages 204
EAN 9786131534706
ISBN 6131534705
Libristo code 06996606
Publishers Omniscriptum
Weight 304
Dimensions 152 x 229 x 12

Categories

Biography, Literature & Literary studies > Literature: history & criticism > Literary studies: general
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Biogéographie de la flore du Sahara Quezel / Book Book
common.buy 41.19 €
Pourquoi la Terre tourne-t-elle? nouvelle édition di Folco / Book Paperback
common.buy 6.29 €
Introduction ? l'économie moderne Georges Sorel / Book Paperback
common.buy 14.89 €
Zeszyt A4 60k kratka Oxford campus pastel mix pakiet 5 sztuk / Book binding.
common.buy 21.19 €
Jy is Liefde Refiloe Moahloli / E-book Adobe ePub DRM
common.buy 4.59 €
Nano-Biosensor Technologies for Diagnosis of Infectious Diseases Anitha Varghese / Book Hardback
common.buy 179.69 €
Raised on Radio Paul Rees / Book Hardback
common.buy 24.59 €
Married Life May Edginton / Book Paperback
common.buy 15.59 €
Die Relativierung des "höchsten Augenblicks" in Goethes "Faust 2" Michael Steinmetz / Book Paperback
common.buy 17.95 €
Das Grundrecht auf Religionsfreiheit und die Grenzen des Strafrechts Rene Kreisl / Book Paperback
common.buy 52.95 €
Handbook of the Economics of International Migration Barry Chiswick & Paul W Miller / Book Hardback
common.buy 101.69 €
Poemas de Pina Phillips Lujan Pina Phillips Lujan / Book Hardback
common.buy 21.49 €
Tokyo Martin Gostelow / Book Paperback
common.buy 8.69 €
Epistolae Tres Ad D. Ioannem Pappvm Theologvm Lvtheranvm Carl von Reifitz / Book Paperback
common.buy 59.00 €
Pi Ingar Lehmann / Book Hardback
common.buy 26.59 €
Cross-Linked Liquid Crystalline Systems Dirk Broer / Book Hardback
common.buy 322.19 €
Hebrew-Greek Key Word Study Bible-NASB Spiros Zodhiates / Book Hardback
common.buy 99.79 €
Wellenlasten auf hydrodynamisch schlanke Strukturen Holger Rakers / Book Paperback
common.buy 59.00 €
Reflections on the Works of God, and of His Providence, Throughout All Nature, ... Translated First from the German of Mr. C.C. Sturm. by a Lady. a Ne Christoph Christian Sturm / Book Paperback
common.buy 24.69 €
Through Thick and Thin. Margery Hollis / Book Paperback
common.buy 17.89 €
Elisabeth Kaiserin wider Willen Brigitte Hamann / Book Paperback
common.buy 18.00 €
Ballad Romance Touching The Days Of Charlemagne And Of The Cid Campeador John Gibson Lockhart / Book Paperback
common.buy 19.99 €
Book of Phenomenal, Hidden, Mysterious Scriptural Secrets Jan Hershberger / Book Paperback
common.buy 17.69 €
Thomas A J B Johnston / Book Paperback
common.buy 17.19 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?