A carregar...
Modeling and specification of distributed timed systems
Increasing complexity in distributed and real-time systems makes them very hard to model and specify correctly. Different formal methods are useful for the process of modeling and specification of these kinds of systems. Timed Automata (TA) and Distributed Timed Automata (DTA) are the dominant mode...
Na minha lista:
| Publicado no: | Ingeniería y Competitividad |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad del Valle
2013
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=291329166010 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|