Temporal automata

2 titles from eBooks.com
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley (2011)
US$130.50

The name "temporal logic" may sound complex and daunting; but while they describe potentially...

The Theory of Timed I/O Automata, Second Edition

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic...