Search alternatives:
tools implementation » tool implementation, towards implementation, groups implementation
optimisation tools » optimization tool, optimisation models, optimisation methods
framework program » framework programmes, framework progress
tools implementation » tool implementation, towards implementation, groups implementation
optimisation tools » optimization tool, optimisation models, optimisation methods
framework program » framework programmes, framework progress
1
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference...
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... -- Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- 1 Introduction -- 2 A...”
Click to View
2
by Sergey, Ilya.
Published 2022
Format:
Published 2022
Table of Contents: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View
3
by Lambers, Leen.
Published 2023
Format:
Published 2023
Table of Contents: “... Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation...”
Click to View
4
by Schüppstuhl, Thorsten.
Published 2023
Format:
Published 2023
Table of Contents: “...-Assisted Robot Programming -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Concept -- 4 Implementation...”
Click to View
5
by Baulch, Emma.
Published 2018
Format:
Published 2018
Table of Contents: “... Workers -- Abstract -- 2.1 Introduction -- 2.2 mHealth Implementation for Antenatal Care in Pakistan -- 2...”
Click to View