 |
 |
 |
|
| Projects and Products - U |
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
On process technologies:
| Acronym | Description |
|---|---|
|
UML |
Unified Modelling Language |
On formal methods:
| Acronym | Description |
|---|---|
|
UniForM |
Universal Formal Methods Workbench |
|
UNITY |
Programming notation for parallel and distributed programs |
|
UPPAAL |
Verification and validation tools for real-time systems |
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
|
|
|
This page online • GDPA Online • Last Updated 05.Nov.2002 by C. Freericks |