共 4 条
- [2] Some guidelines for formal development of web-based applications in B-Method ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 472 - 491
- [3] ACCURATE EYE-MOVEMENT REGISTRATION WITH THE DOUBLE MAGNETIC INDUCTION METHOD (DMI) - NEW DIAGNOSTIC POSSIBILITIES FOR CLINICAL NEUROPHYSIOLOGY ELECTROENCEPHALOGRAPHY AND CLINICAL NEUROPHYSIOLOGY, 1988, 69 (02): : P37 - P38
- [4] NON-INVASIVE ANTENATAL DIAGNOSTIC METHOD FOR EVALUATION OF FETAL LUNG MATURATION - ANALYSIS OF FETAL BREATHING MOVEMENTS BY REAL-TIME ULTRASONIC B-SCANNER IRCS MEDICAL SCIENCE-BIOCHEMISTRY, 1981, 9 (04): : 296 - 296