Author:
Guelev Dimitar P.,Ryan Mark D.,Schobbens Pierre Yves
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference14 articles.
1. Amyot D., Logrippo L. (eds): Feature Interactions in Telecommunications and Software Systems VII. IOS Press (2003)
2. Armoni R., Fix L., Flaisher A., Gerth R., Ginsburg B., Kanza T., Landver A., Mador-Haim S., Singerman E., Tiemeyer A., Vardi M.Y., Zbar Y.: The ForSpec temporal logic: a new temporal property-specification language. In: Proceedings of TACAS’02, LNCS, vol. 2280, pp. 296–311. Springer, Berlin Heidelberg New York (2002)
3. Bouma L., Zuidweg J.: Formal analysis of feature interactions by model checking. In: Proceedings First International Workshop on Feature Interactions in Telecommunications Systems. St. Petersburg, FL, USA (1992)
4. du Bousquet L.: Feature interaction detection using testing and model-checking: experience report. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems, Lecture Notes In Computer Science, vol. 1, pp. 622–641 (1999)
5. Calder M., Magill E. (eds.): Feature Interactions in Telecommunications and Software Systems VI. IOS Press (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献