Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. validation

From Data to Models and Back

Posted By: AvaxGenius
Date: 16 Oct 2022 05:59:23
From Data to Models and Back

From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
English | PDF | 2022 | 199 Pages | ISBN : 303116010X | 16.9 MB

This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.
Details

Formal Aspects of Component Software

Posted By: AvaxGenius
Date: 11 Jul 2022 03:22:28
Formal Aspects of Component Software

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings by Gwen Salaün
English | EPUB | 2021 | 188 Pages | ISBN : 3030906353 | 17.6 MB

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.
Details

The Logic of Software. A Tasting Menu of Formal Methods

Posted By: AvaxGenius
Date: 5 Jul 2022 17:12:50
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations.
Details

NASA Formal Methods

Posted By: AvaxGenius
Date: 31 May 2022 08:45:31
NASA Formal Methods

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings by Aaron Dutle
English | PDF | 2021 | 416 Pages | ISBN : 3030763838 | 20.6 MB

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Details

Functional and Logic Programming

Posted By: AvaxGenius
Date: 8 May 2022 13:07:00
Functional and Logic Programming

Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings by Michael Hanus
English | PDF | 2022 | 298 Pages | ISBN : 3030994600 | 8 MB

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.
Details

Electronic Voting

Posted By: AvaxGenius
Date: 5 Oct 2021 05:05:35
Electronic Voting

Electronic Voting: 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings by Robert Krimmer
English | PDF | 2021 | 182 Pages | ISBN : 3030869415 | 4.3 MB

This book constitutes the proceedings of the 6th International Conference on Electronic Voting, E-Vote-ID 2021, held online -due to COVID -19- in Bregenz, Austria, in October 2021. The 14 full papers presented were carefully reviewed and selected from 55 submissions.
Details

Taming Thymeleaf: Practical guide to building a webapplication with Spring Boot and Thymeleaf

Posted By: yoyoloit
Date: 14 Jul 2021 04:11:18
Taming Thymeleaf: Practical guide to building a webapplication with Spring Boot and Thymeleaf

Taming Thymeleaf: Practical Guide to building a web application with Spring Boot and Thymeleaf
by Wim Deblauwe
English | 2021 | ISBN: NA | 409 Pages | True PDF | 44.9 MB
Details

Tools and Algorithms for the Construction and Analysis of Systems

Posted By: AvaxGenius
Date: 8 Apr 2021 12:30:23
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II by Jan Friso Groote
English | PDF | 2021 | 476 Pages | ISBN : 3030720128 | 13.2 MB

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Details
UPWARDS