Author:
ter Beek Maurice H.,Fantechi Alessandro,Gnesi Stefania
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wąsowski, A.: 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95, 94–129 (2008)
2. Lecture Notes in Computer Science;P. Asirelli,2010
3. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Formal Description of Variability in Product Families. In: de Almeida, E.S., Kishi, T., Schwanninger, C., John, I., Schmid, K. (eds.) Proceedings of the 15th International Software Product Lines Conference (SPLC 2011), pp. 130–139. IEEE (2011)
4. Lecture Notes in Computer Science;P. Asirelli,2012
5. Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.R.: Weighted modal transition systems. Formal Methods in System Design 42(2), 193–220 (2013)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Support for Bike-Sharing System Design;From Software Engineering to Formal Methods and Tools, and Back;2019
2. An experience in using machine learning for short-term predictions in smart transportation systems;Journal of Logical and Algebraic Methods in Programming;2017-02
3. Variability-Based Design of Services for Smart Transportation Systems;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016
4. Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems;2015 IEEE 18th International Conference on Intelligent Transportation Systems;2015-09
5. Using a Machine Learning Approach to Implement and Evaluate Product Line Features;Electronic Proceedings in Theoretical Computer Science;2015-08-14