SERG
About SERG
Organization
Statistics
Members
Research Lines
Computational Intelligence for Software Engineering
DevOps
Machine Learning for Software Engineering
Software Analytics
Software Engineering for Fintech
Software Quality
Software Reliability for Concurrent and Distributed Systems
Sustainable Software Engineering
Research
Projects
Publications
Tools
Partners
Education
Teaching
Thesis Projects
Events
Vacancies
Contact
A decade of featured transition systems
Maxime Cordy
,
Xavier Devroey
,
Axel Legay
,
Gilles Perrouin
,
Andreas Classen
,
Patrick Heymans
,
Pierre-Yves Schobbens
,
Jean-François Raskin
January 2019
Cite
Type
Book section
Publication
From Software Engineering to Formal Methods and Tools, and Back
Cite
×