Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
AvCyrille Artho,Peter Csaba Ölveczky
Häftad, Engelska, 2014
Del 419 i serien Communications in Computer and Information Science
573 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 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
Mer från samma författare
Del 9938
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
Häftad, 2016
573 kr
Automated Technology for Verification and Analysis
Doron Peled, Axel Legay, Cyrille Artho
E-bok
2016739 kr
Hoppa över listan
Mer från samma serie
Del 454
Knowledge Discovery, Knowledge Engineering and Knowledge Management
Ana Fred, Jan L.G. Dietz, Kecheng Liu, Joaquim Filipe
Häftad, 2015
573 kr
Del 909
New Trends in Databases and Information Systems
András Benczúr, Bernhard Thalheim, Tomáš Horváth, Silvia Chiusano, Tania Cerquitelli, Csaba Sidló, Peter Z. Revesz
Häftad, 2018
573 kr
Del 1862
ICT Education
Henri Emil Van Rensburg, Dirk Petrus Snyman, Lynette Drevin, Günther Richard Drevin
Häftad, 2024
701 kr
Del 989
Information Literacy in Everyday Life
Serap Kurbanoğlu, Sonja Špiranec, Yurdagül Ünal, Joumana Boustany, Maija Leena Huotari, Esther Grassian, Diane Mizrachi, Loriene Roy
Häftad, 2019
1 075 kr
AI Agent for Information Retrieval: Generating and Ranking
Qingsong Wen, Yongfeng Zhang, Zhiwei Liu, Julian McAuley, Hua Wei, Linsey Pang, Wei Liu, Philip S. Yu
Häftad, 2026
856 kr
Information Literacy in an AI-Driven World
Serap Kurbanoğlu, Joumana Boustany, Sonja Špiranec, Yurdagül Ünal, İpek Şencan, Denis Kos, Esther Grassian, Loriene Roy, Diane Mizrachi
Häftad, 2026
968 kr
Del 1524
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastian Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
Häftad, 2022
1 609 kr
Del 927
Del 915
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano
Häftad, 2018
541 kr
Del 916
Applied Computer Sciences in Engineering
Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque
Häftad, 2018
556 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 596
Del 419
Proceedings of the 10th International Symposium on Hydrogen Energy, Renewable Energy and Materials
Mohan Lal Kolhe, Qiangqiang Liao
Häftad, 2026
2 425 kr
Del 694
Del 419
Del 1008
Del 419
Del 419
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
S. R. Kannan, Mark Last, Tzung-Pei Hong, Chun-Hao Chen
Häftad, 2023
1 875 kr
Del 419
Del 419