Author:
Hsiung Pao-Ann,Gau Chuen-Hau
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Altisen K., G. Gössler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A framework for scheduler synthesis, in: Real-Time System Symposium (RTSS'99) (1999).
2. Balarin F. and M. Chiodo, Software synthesis for complex reactive embedded systems, in: Proc. of International Conference on Computer Design (ICCD'99) (1999), pp. 634–639.
3. “Hardware-software Co-design of Embedded Systems: the POLIS approach”;Balarin,1997
4. Modeling and verification of time dependent systems using time petri nets;Berthomieu;IEEE Transactions on Software Engineering,1991
5. Berthomieu B. and M. Menasche, An enumerative approach for analyzing time petri nets, in: Proc. of the IFIP Congress, 1983.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献