Articoli correlati a Compositional Verification of Concurrent and Real-Time...

Compositional Verification of Concurrent and Real-Time Systems - Brossura

Juan, Eric Y.T.; Tsai, Jeffrey J.P.

 
9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Brossura
ISBN 10: 1461510104 ISBN 13: 9781461510109
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

List of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Verification Techniques for Concurrent Systems. 3. Multiset Labeled Transition Systems. 4. Compositional Verification Using MLTS. 5. Compositional Verification Using Petri Nets. 6. Tools and Experiments. 7. Delay time Petri Nets and Net Reduction. References. Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2011
  • ISBN 10 1461510104
  • ISBN 13 9781461510109
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9781402070259: Compositional Verification of Concurrent and Real-Time Systems: 676

Edizione in evidenza

ISBN 10:  140207025X ISBN 13:  9781402070259
Casa editrice: Kluwer Academic Pub, 2002
Rilegato