Leonardo Michelon

Learn More
This paper presents a formal approach to specify and analyze real-time systems. We extend Object-Based Graph Grammars, a description technique suitable for the specification of asynchronous distributed systems, to be able to explicitly model time constraints. The semantics of the systems is defined in terms of Timed Automata, allowing the automatic(More)
  • 1