This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jan Friso Groote
A grouping.
Jan Friso Groote: whether formal methods pay, measured on an industrial control-software project and a formal analysis of Dutch tunnel control systems, plus a gates-to-computers textbook.
3 references
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote and others (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM) · IEEE