A Journey from Process Algebra via Timed Automata to Model Learning

A Journey from Process Algebra via Timed Automata to Model Learning
Author :
Publisher : Springer Nature
Total Pages : 593
Release :
ISBN-10 : 9783031156298
ISBN-13 : 3031156293
Rating : 4/5 (293 Downloads)

Book Synopsis A Journey from Process Algebra via Timed Automata to Model Learning by : Nils Jansen

Download or read book A Journey from Process Algebra via Timed Automata to Model Learning written by Nils Jansen and published by Springer Nature. This book was released on 2022-09-06 with total page 593 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. 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. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.


A Journey from Process Algebra via Timed Automata to Model Learning Related Books

A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593
Authors: Nils Jansen
Categories: Computers
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has
Formal Methods and Software Engineering
Language: en
Pages: 320
Authors: Yi Li
Categories: Computers
Type: BOOK - Published: 2023-11-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Austra
Formal Methods
Language: en
Pages: 692
Authors: André Platzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Foundations of Software Science and Computation Structures
Language: en
Pages: 575
Authors: Orna Kupferman
Categories: Computers
Type: BOOK - Published: 2023-04-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Logics and Type Systems in Theory and Practice
Language: en
Pages: 284
Authors: Venanzio Capretta
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK