Author:
Routhier Maxime,St-Denis Richard
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference41 articles.
1. Åkesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. In: 2006 8th International Workshop on Discrete Event Systems (WODES), pp. 384–385 (2006)
2. Åkesson, K., Fabian, M., Flordal, H., Vahidi, A.: Supremica—a tool for verification and synthesis of discrete event supervisors. In: 11th Mediterranean Conference on Control and Automation (MED) (2003)
3. Bagheri, H., Tang, C., Sullivan, K.: TradeMaker: automated dynamic analysis of synthesized tradespaces. In: 36th International Conference on Software Engineering (ICSE), pp. 106–116 (2014)
4. Bagheri, H., Sullivan, K.: Model-driven synthesis of formally precise, stylized software architectures. Form. Asp. Comput. 28(3), 441–467 (2016)
5. Barati, M., St-Denis, R.: Behavior composition meets supervisory control. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 115–120 (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献