- 5 Ergebnisse
Kleinster Preis: € 39,26, größter Preis: € 46,45, Mittelwert: € 42,68
1
Formal Modeling and Analysis of Timed Systems - Axel Legay; Marius Bozga
Bestellen
bei Springer.com
€ 39,58
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Axel Legay; Marius Bozga:

Formal Modeling and Analysis of Timed Systems - neues Buch

2014, ISBN: 9783319105123

This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
2
Formal Modeling and Analysis of Timed Systems als eBook Download von
Bestellen
bei Hugendubel.de
€ 43,99
Bestellen
Details und Versand
gesponserter Link
Formal Modeling and Analysis of Timed Systems als eBook Download von - neues Buch

2014, ISBN: 9783319105123

Formal Modeling and Analysis of Timed Systems:12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings Formal Modeling and Analysis of Timed Systems… Mehr…

  - No. 25494361 Versandkosten:zzgl. Versandkosten
zuklappen (X)
3
Formal Modeling and Analysis of Timed Systems - Axel Legay; Marius Bozga
Bestellen
bei Springer.com
€ 39,26
Bestellen
Details und Versand
gesponserter Link
Axel Legay; Marius Bozga:
Formal Modeling and Analysis of Timed Systems - neues Buch

ISBN: 9783319105123

Computer Science; Computation by Abstract Devices; Logics and Meanings of Programs; Software Engineering; Computer Applications Petri nets, formal languages and automata theory, formal me… Mehr…

  - Versandkosten:zzgl. Versandkosten
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 46,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Marius Bozga; Axel Legay:
Formal Modeling and Analysis of Timed Systems - neues Buch

2014, ISBN: 9783319105123

12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Springer Internatio… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings - John Woodall
Bestellen
bei hive.co.uk
£ 37,39
(ca. € 44,11)
Bestellen
Details und Versand
gesponserter Link
John Woodall:
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings - neues Buch

2014, ISBN: 9783319105123

; PDF \ John Woodall; Computing > Computing: general, Springer International Publishing

  - No. 9783319105123 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Modeling and Analysis of Timed Systems
Autor:
Titel:
ISBN-Nummer:

9783319105123

Detailangaben zum Buch - Formal Modeling and Analysis of Timed Systems


EAN (ISBN-13): 9783319105123
Erscheinungsjahr: 2014
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2017-04-19T01:09:56+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-20T11:32:39+02:00 (Berlin)
ISBN/EAN: 9783319105123

ISBN - alternative Schreibweisen:
978-3-319-10512-3

Daten vom Verlag:

Autor/in: Axel Legay; Marius Bozga
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Verlag: Springer; Springer International Publishing
253 Seiten
Erscheinungsjahr: 2014-08-11
Cham; CH
Sprache: Englisch
50,28 € (DE)
51,70 € (AT)
57,00 CHF (CH)
Available
X, 253 p. 74 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Petri nets; formal languages and automata theory; formal methods; model checking; models of computation; safety critical systems; software system models; theory of computation; timed automata; timed systems; C; Theory of Computation; Computer Science Logic and Foundations of Programming; Software Engineering; Computer and Information Systems Applications; Computer Science; Software Engineering; Angewandte Informatik; BC

The Modeling and Analysis of Mixed-Criticality Systems.- Modeling Bitcoin Contracts by Timed Automata.- Data-Driven Statistical Learning of Temporal Logic Properties.- Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices.- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets.- On MITL and Alternating Timed Automata over Infinite Words.- Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.- Verification and Performance Evaluation of Timed Game Strategies.- The Power of Proofs: New Algorithms for Timed Automata Model Checking.- Anonymized Reachability of Hybrid Automata Networks.- Combined Global and Local Search for the Falsification of Hybrid Systems.- Weak Singular Hybrid Automata.- Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.- Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction.- Timed Pattern Matching.- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.


< zum Archiv...