Author:
Brekling Aske,Hansen Michael R.,Madsen Jan
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference31 articles.
1. Scheduling with timed automata;Abdeddaïm;Theoret. Comput. Sci.,2006
2. Job-shop scheduling using timed automata;Abdeddaïm,2001
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. Times – A tool for modelling and implementation of embedded systems;Amnell;Lecture Notes in Comput. Sci.,2002
5. A tutorial on uppaal;Behrmann;Lecture Notes in Comput. Sci.,2004
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献