HASLab - Palestras/ comunicações orais
: [1]
Statistics
Browse
Collection's Items (Sorted by Submit date in descending order): 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 2012 | Towards specification and verification frameworks for concurrent real-time systems | Pereira, David; Pedro, André Matos; Pinho, Luís Miguel, et al. | Lecture | Open access |
Collection's Items (Sorted by Submit date in descending order): 1 to 1 of 1
Recent Submissions
Towards specification and verification frameworks for concurrent real-time systems
Discover
Subject
Date issued
- 1 2012