Experiences with incorporating formal techniques into industrial practice.

Ammar Osaiweran Mathijs Schuts Jozef Hooman

Published in: Empir. Softw. Eng. (2014)

Keyphrases

industrial applications
real world
case study
industrial environment
ai law
real time
neural network
computer science
formal specification
formal methods
mathematical theory
technology transfer