Specification of real-time systems with graph grammars
AUTOR(ES)
Michelon, Leonardo
DATA DE PUBLICAÇÃO
2007
ASSUNTO(S)
gramatica : grafos sistemas : tempo real
ACESSO AO ARTIGO
http://hdl.handle.net/10183/7814Documentos Relacionados
- Formal specification and verification of real-time systems using Graph Grammars
- Using aspects to model distributed real-time embedded systems
- A virtual platform for multiprocessor real-time embedded systems
- Some issues in real-time systems verification using time Petri Nets
- Software synthesis for energy-constrained hard real-time embedded systems