Author:
Tivoli Massimo,Fradet Pascal,Girault Alain,Goessler Gregor
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Berthomieu, B., Ribet, P., Vernadat, F.: Construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research, 42(14) (2004), TINA web page http://www.laas.fr/tina/
2. Boehm, B., Abts, C.: COTS integration: Plug and pray? IEEE Computer 32(1) (1999)
3. Lecture Notes in Computer Science;P. Poizat,2006
4. Cioffi, M., Corradini, F.: Specification and analysis of timed and functional TRMCS behaviors. In: Proc. of the 10th IWSSD (2000)
5. Cohen, A., et al.: Synchronization of periodic clocks. In: Proc. of the 5th EMSOFT (2005)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献