Tags
Language
Tags
<<
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 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 31 1
  1. Home
  2. eBooks & eLearning
  3. Theoretical Computer Science

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Posted By: sasha82
Date: 13 Dec 2021 13:47:55
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Lecture Notes in Computer Science) by Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021 | ISBN: 303091383X | English | 232 pages | EPUB | 25 MB
Details

Verification of Reactive Systems: Formal Methods and Algorithms

Posted By: AvaxGenius
Date: 11 Jan 2021 13:40:14
Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneider
English | PDF | 2004 | 608 Pages | ISBN : 3642055559 | 67.8 MB

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
Details
UPWARDS