Author:
Dadeau Frédéric,Gros Jean-Philippe,Kouchnarenko Olga
Publisher
Springer International Publishing
Reference25 articles.
1. Alkan, B., Harrison, R.: A virtual engineering based approach to verify structural complexity of component-based automation systems in early design phase. J. Manuf. Syst. 53, 18–31 (2019)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006, Washington, DC, USA, pp. 3–12. IEEE Computer Society (2006)
3. Beizer, B., Wiley, J.: Black box testing: techniques for functional testing of software and systems. IEEE Softw. 13(5), 98 (1996). https://doi.org/10.1109/MS.1996.536464
4. Bergenhem, C.: Approaches for facilities layer protocols for platooning. In: IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, pp. 1989–1994. IEEE (2015). https://doi.org/10.1109/ITSC.2015.322
5. Bouquet, F., Legeard, B., Peureux, F.: CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6(2), 143–157 (2004). https://doi.org/10.1007/s10009-003-0123-8
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Use of Ontology in the Process of Designing Adaptive Software Systems;2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT);2022-11-10