Gå direkt till innehållet
A Journey from Process Algebra via Timed Automata to Model Learning
Spara

A Journey from Process Algebra via Timed Automata to Model Learning

Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.

The volume contains contributions of colleagues, Ph.D.

Undertitel
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Upplaga
1st ed. 2022
ISBN
9783031156281
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2022-09-07
Sidor
581