Author:
Bodeveix Jean-Paul,Filali Mamoun,Lawall Julia,Muller Gilles
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy VAL. In: Treharne, H. King, S., Henson, M., Schneider, S., (eds.). ZB 2005: Formal Specification and Development in Z and B. LNCS, vol. 2215, Guildford, UK, pp. 298–315. Springer, Heidelberg (2005)
3. Basu, A., Hayden, M., Morrisett, G., von Eicken, T.: A language-based approach to protocol construction. In: Proceedings of the ACM SIGPLAN Workshop on Domain Specific Languages, Paris, France (January 1997)
4. Lecture Notes in Computer Science;P. Behm,1998
5. Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. Wiley, West Sussex (2002)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalising the Industrial Language SMMT in mCRL2;Lecture Notes in Computer Science;2024
2. Modelling program verification tools for software engineers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
3. Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28
4. Meeduse: A Tool to Build and Run Proved DSLs;Lecture Notes in Computer Science;2020
5. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2019