Author:
Bontemps Yves,Schobbens Pierre-Yves
Subject
Applied Mathematics,Logic
Reference58 articles.
1. An evaluation of scenario notations for telecommunication systems development;Amyot;Telecomm. Syst. J.,2003
2. R. Alur, R. Grosu, M. McDougall, Modular refinement of hierarchic reactive machines, in: Proc. of POPL'00, the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, MA, 2000. ACM SIGPLAN-SIGACT
3. Realizable and unrealizable specifications of reactive systems;Abadi,1989
4. Modeling and validating train system applications using statemate and live sequence charts;Bohn,2002
5. Model checking agent speak;Bordini,2003
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献