Kenneth Johnson
Expertise in formal methods, probabilistic verification, self-adaptive systems, model checking, algebraic specifications.
Expertise in formal methods, probabilistic verification, self-adaptive systems, model checking, algebraic specifications.