



RealTime Systems: Formal Specification and Automatic VerificationRealtime systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safetycritical applications and each requires realtime specification techniques. This text introduces three of these techniques, based on logic and automata:...   A HalfCentury of Automata Theory: Celebration and InspirationSuggests Automata Theory may be poised for another period of significant advance, similar to that in the 1960s and 1970s.  Mathematical Reviews, 2002
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of...   Chaos and Fractals: An Elementary Introduction
This book provides the reader with an elementary introduction to chaos and fractals, suitable for students with a background in elementary algebra, without assuming prior coursework in calculus or physics. It introduces the key phenomena of chaos  aperiodicity, sensitive dependence on initial conditions, bifurcations  via simple iterated... 





Result Page: 10 9 8 7 6 5 4 3 2 1 