Lúıs Gomes
0000-0003-4299-8270
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Petri Nets in System Modeling
(144)
Real-Time Systems Scheduling
(74)
Embedded Systems Design Techniques
(59)
Formal Methods in Verification
(57)
Business Process Modeling and Analysis
(52)
Affiliations
Warsaw University of Technology
University of Padua
University of Lisbon
Federation University
University of Idaho