Author:
Subburaj Vinitha Hannah,Subburaj Anitha Sarah
Publisher
Springer Nature Switzerland
Reference30 articles.
1. Singh, G., Ganvir, R., Püschel, M., Vechev, M.: Beyond the single neuron convex barrier for neural network certification (2019)
2. Subburaj, V.H., Urban, J.E.: Intelligent agent software development using AUML and the Descartes specification language. In: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. IEEE (2011)
3. Studies in Big Data;VH Subburaj,2016
4. Parish, E.J., Duraisamy, K.: A paradigm for data-driven predictive modeling using field inversion and machine learning. J. Comput. Phys. 305, 758–774 (2016)
5. Bernardi, S., et al.: Security modeling and formal verification of survivability properties: application to cyber–physical systems. J. Syst. Softw. 171, 110746 (2021)