8 results on '"Hermann Kaindl"'
Search Results
2. Verification of Feature Coordination using the Fluent Calculus.
Catalog
Books, media, physical & digital resources
3. High-level Verification and Validation of Software Supporting Business Processes.
4. Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.
5. Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023.
6. Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022.
7. Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021.
8. Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.