Verwandte Artikel zu Software Engineering for Resilient Systems: 5th Internationa...
Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Empirical Assessment of Resilience.- Security-Informed Safety: If It's Not Secure, It's Not Safe.- Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.- Towards Agile Development of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing Verification of Structurally Evolving Algebraic Petri Nets.- A Case Study in Refinement-Based Modelling of a Resilient Control System.- Synthesis of Resilient Choreographies.- Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.- The SafeCap Project on Railway Safety Verification and Capacity Simulation.- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems.- Preliminary Contributions Towards Auto-resilience.- A New Approach to Software Reliability.- Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2013
- ISBN 10 3642408958
- ISBN 13 9783642408953
- EinbandPaperback
- SpracheEnglisch
- Kontakt zum HerstellerNicht verfügbar
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
