José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Composing Families of Timed Automata
Guillermina Cledou
,
José Proença
,
Luís Soares Barbosa
January 2017
PDF
Cite
DOI
Type
Conference paper
Publication
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Related
Quality-Aware Reactive Programming for the Internet of Things
Cite
×