Search alternatives:
novo » nov, nova
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal  at Novo Nordisk...”