Reserved Area
Bio
Publications
Jorge Sousa Pinto
Software Engineering
Associate Professor
(email)
Recent Publications
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Framework
.
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Toolkit
.
« first
‹ previous
…
76
77
78
79
80
81
82
83
84
Recent Publications
Logic-based schedulability analysis for compositional hard real-time embedded systems
Monitoring for a Decidable Fragment of Mtl-∫
Studying Verification Conditions for Imperative Programs
more