Jan Friso Groote
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
Whether formal methods pay, measured rather than argued: an analysis of what happened to defect rates in an industrial control software project, and a formal analysis of Dutch generic integrated systems. The third record is a textbook building a computer from logic gates upward.
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