Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Subtitle: Joint International Conferences on  Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science)
Contributors: Yassine Lakhnech (Editor); Sergio Yovine (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 14, 2004
Language: eng
Format: Paperback
Number of pages: 397
ISBN-13: 9783540231677
Subjects: General Theory of Computing; General; Computer Simulation; Computers; Computers - General Information; Computer Books: General; Computer Science; Computers / Logic Design
First sentence: Digital voting technologies are currently very topical and hotly debated, especially in the US with a presidential election looming.