Del 476
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
AvCyrille Artho,Peter Csaba Ölveczky
Häftad, Engelska, 2015
Del 476 i serien Communications in Computer and Information Science
573 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 476
Del 476
Modern IoT Onboarding Platforms for Advanced Applications
Marcin Witczak, Lothar Seybold, Eric Bulach, Niko Maucher
Häftad, 2023
453 kr
Del 476
Del 476
Research Challenges in Information Science: Information Science and the Connected World
Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou
Häftad, 2023
937 kr
Del 476
Del 476
Privacy and Identity Management. Time for a Revolution?
David Aspinall, Jan Camenisch, Marit Hansen, Simone Fischer-Hübner, Charles Raab
Häftad, 2018
573 kr
Del 476
Proceeding of the Second International Conference on Microelectronics, Computing & Communication Systems (MCCS 2017)
Vijay Nath, Jyotsna Kumar Mandal
Inbunden, 2018
2 205 kr
Del 476
Del 476