Formal Modeling and Analysis of Timed Systems

Lingua: inglese

Editore: Springer, Springer Dez 2005, 2005

3540309462 / 9783540309468

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 53,49

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk.- Modular Performance Analysis of Distributed Embedded Systems.- Logic and Specification.- Real Time Temporal Logic: Past, Present, Future.- Translating Timed I/O Automata Specifications for Theorem Proving in PVS.- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.- Times Games and Synthesis.- On Optimal Timed Strategies.- Average Reward Timed Games.- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.- Invited Talk.- Verification of Parameterized Timed Systems.- Model Checking.- Model Checking the Time to Reach Agreement.- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.- A New Verification Procedure for Partially Clairvoyant Scheduling.- Invited Talk.- Timing Analysis and Simulation Tools for Real-Time Control.- Hybrid Systems.- Automatic Rectangular Refinement of Affine Hybrid Systems.- Reachability Problems on Extended O-Minimal Hybrid Automata.- Counterexamples for Timed Probabilistic Reachability.- Petri Nets.- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.- Comparison of the Expressiveness of Timed Automata and Time Petri Nets.- Semantics.- Quantifying Similarities Between Timed Systems.- Performance of Pipelined Asynchronous Systems.- Is Timed Branching Bisimilarity an Equivalence Indeed .- Semantics and Modelling.- Implementation of Timed Automata: An Issue of Semantics or Modeling .- Timed Abstract Non-interference.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.…

Codice articolo 9783540309468

Titolo
Formal Modeling and Analysis of Timed Systems
Autore
Paul Pettersson
Editore
Springer, Springer Dez 2005
Anno di pubblicazione
2005
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
3540309462
ISBN 13
9783540309468
Peso dell'articolo
487 grammi
Dimensioni
235x155x18 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania