Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-8
|
Results: 8
A POSITRON-ANNIHILATION INVESTIGATION OF POROUS SILICON
Authors:
DANNEFAER S KERR D CRAIGEN D BRETAGNON T TELIERCIO T FOUCARAN A
Citation:
S. Dannefaer et al., A POSITRON-ANNIHILATION INVESTIGATION OF POROUS SILICON, Journal of applied physics, 79(12), 1996, pp. 9110-9117
CARBON AND SILICON VACANCIES IN ELECTRON-IRRADIATED 6H-SIC
Authors:
DANNEFAER S CRAIGEN D KERR D
Citation:
S. Dannefaer et al., CARBON AND SILICON VACANCIES IN ELECTRON-IRRADIATED 6H-SIC, Physical review. B, Condensed matter, 51(3), 1995, pp. 1928-1930
FORMAL METHODS REALITY CHECK - INDUSTRIAL USAGE
Authors:
CRAIGEN D GERHART S RALSTON T
Citation:
D. Craigen et al., FORMAL METHODS REALITY CHECK - INDUSTRIAL USAGE, IEEE transactions on software engineering, 21(2), 1995, pp. 90-98
EXPERIENCE WITH FORMAL METHODS IN CRITICAL SYSTEMS
Authors:
GERHART S CRAIGEN D RALSTON T
Citation:
S. Gerhart et al., EXPERIENCE WITH FORMAL METHODS IN CRITICAL SYSTEMS, IEEE software, 11(1), 1994, pp. 21-28
CASE-STUDY - DARLINGTON-NUCLEAR-GENERATING-STATION
Authors:
CRAIGEN D GERHART S RALSTON T
Citation:
D. Craigen et al., CASE-STUDY - DARLINGTON-NUCLEAR-GENERATING-STATION, IEEE software, 11(1), 1994, pp. 30-32
CASE-STUDY - PARIS-METRO-SIGNALING-SYSTEM
Authors:
GERHART S CRAIGEN D RALSTON T
Citation:
S. Gerhart et al., CASE-STUDY - PARIS-METRO-SIGNALING-SYSTEM, IEEE software, 11(1), 1994, pp. 32-35
CASE-STUDY - TRAFFIC ALERT AND COLLISION-AVOIDANCE SYSTEM
Authors:
CRAIGEN D GERHART S RALSTON T
Citation:
D. Craigen et al., CASE-STUDY - TRAFFIC ALERT AND COLLISION-AVOIDANCE SYSTEM, IEEE software, 11(1), 1994, pp. 35-37
CASE-STUDY - MULTINET GATEWAY SYSTEM
Authors:
GERHART S CRAIGEN D RALSTON T
Citation:
S. Gerhart et al., CASE-STUDY - MULTINET GATEWAY SYSTEM, IEEE software, 11(1), 1994, pp. 37-39
Risultati:
1-8
|