-
1
Use case maps as architectural entities for complex systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
2
Posterior sternoclavicular dislocations
Veröffentlicht in Canadian journal of surgery
VolltextArtikel -
3
-
4
-
5
-
6
Temporal logic-based deadlock analysis for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
7
Starvation and critical race analyzers for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
8
-
9
Variation in pancreatoduodenectomy as delivered in two national audits
Veröffentlicht in British journal of surgery
VolltextArtikel -
10
Software CAD: a revolutionary approach
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
11
Dog-bites and Local Infection with Pasteurella Septica
Veröffentlicht in British Medical Journal
VolltextArtikel -
12
-
13
-
14
-
15
-
16
Support for specifying temporal behavior in Ada designs
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
17
-
18
-
19
-
20