Verification Of Reactive Systems: Formal Methods And Algorithms by Klaus Schneider

Verification Of Reactive Systems: Formal Methods And Algorithms

Klaus Schneider

missing page info Add in missing page information first pub 2003 (editions)

informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 be...

Read more

Community Reviews

Loading...

Content Warnings

Loading...