-
1
-
2
Temporal logic-based deadlock analysis for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
3
Starvation and critical race analyzers for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
4
-
5
-
6
Software CAD: a revolutionary approach
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
7
A hierarchical expert system for updating forestry maps with Landsat data
Veröffentlicht in Proceedings of the IEEE
VolltextArtikel -
8
Critical races in Ada programs
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
9
A cataloging framework for software development methods
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
10
Immunosuppression in kidney transplantation
Veröffentlicht in Progrès en urologie (Paris)
VolltextArtikel -
11
-
12
Unusual case of difficult double-lumen endotracheal tube removal
Veröffentlicht in Journal of clinical anesthesia
VolltextArtikel -
13
-
14
-
15
Support for specifying temporal behavior in Ada designs
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
16
-
17
-
18
-
19
-
20