A temporal agent based approach for testing open distributed systems

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.4K citations

Engineering, Formal Methods, Automaton Network +4

OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification

Andrew Watson · 2002 · 851 citations

Distributed Object Middleware, Engineering, Object Management Group +11

Introduction to the Theory of Finite-State Machines

J. E. Mezei, Arthur Gill · Mathematics of Computation · 1964 · 595 citations

Automaton Operation, Finite-state Machines, Finite Model Theory +1

Introduction to the theory of finite-state machines

S. Seshu · Proceedings of the IEEE · 1963 · 545 citations

Automaton Operation, Finite-state Machines, Finite Model Theory +1

On fault coverage of tests for finite state specifications

Alexandre Petrenko, Gregor von Bochmann, Mingyu Yao · Computer Networks and ISDN Systems · 1996 · 94 citations

Reliability Engineering, Engineering, System Testing +11