Author:
Ye Kangfeng,Foster Simon,Woodcock Jim
Publisher
Springer International Publishing
Reference41 articles.
1. Add2: Jaguar Reduces Development Costs with MathWorks—Rapid Prototyping and Code Generation Tools.
http://www.add2.co.uk/wp-content/uploads/add2JaguarUSERStory.pdf
2. Amalio, N., Cavalcanti, A., Miyazawa, A., Payne, R., Woodcock, J.: Foundations of the SysML for CPS modelling. Technical Report, INTO-CPS Deliverable, D2.2a (2016)
3. Arthan, R.D., Caseley, P., O’Halloran, C., Smith, A.: ClawZ: control laws in Z. In: Proceedings of 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, 4–7 Sept 2000, pp. 169–176. IEEE Computer Society (2000).
https://doi.org/10.1109/ICFEM.2000.873817
4. Bauer, S.S., David, A., Hennicker, R., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Moving from Specifications to Contracts in Component-Based Design. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering—Proceedings of 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, 24 Mar–1 Apr 2012. Lecture Notes in Computer Science, vol. 7212, pp. 43–58. Springer (2012).
https://doi.org/10.1007/978-3-642-28872-2_3
5. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1–3), 109–137 (1984)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A denotational semantics of Simulink with higher-order UTP;Journal of Logical and Algebraic Methods in Programming;2023-01
2. Proving Simulink Block Diagrams Correct via Refinement;Wireless Communications and Mobile Computing;2022-09-19
3. A Contract-Based Semantics and Refinement for Simulink;Dependable Software Engineering. Theories, Tools, and Applications;2022
4. Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving;Relational and Algebraic Methods in Computer Science;2021