
Reliable Software Technologies - Ada-Europe 2014
19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Springer (Publisher)
Published on 4. August 2014
Book
Paperback/Softback
XIV, 193 pages
978-3-319-08310-0 (ISBN)
Description
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.
More details
Series
Edition
2014 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Research
Illustrations
56 s/w Abbildungen
XIV, 193 p. 56 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 12 mm
Weight
324 gr
ISBN-13
978-3-319-08310-0 (9783319083100)
DOI
10.1007/978-3-319-08311-7
Schweitzer Classification
Other editions
Additional editions

Laurent George | Tullio Vardanega
Reliable Software Technologies - Ada-Europe 2014
19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
E-Book
06/2014
Springer
€50.28
Available for download
Persons
Complex networks and data stream mining.- Data mining methods.- Intelligent systems applications.- Knowledge representation in databases and systems.- Textual data analysis and mining.- Special session: challenges in text mining and semantic information retrieval.- Special session: warehousing and OLAPing complex, spatial and spatio-temporal data.- ISMIS posters.
Content
Formal methods.- Uses of ada.- Real-time scheduling.- Applications.