Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
Statechart testing method for aircraft control systems
Authors:
Bogdanov, K Holcombe, M
Citation:
K. Bogdanov et M. Holcombe, Statechart testing method for aircraft control systems, SOFTW TEST, 11(1), 2001, pp. 39-54
Introducing X-machine models to verify PLC ladder diagrams
Authors:
Chambers, C Holcombe, M Barnard, J
Citation:
C. Chambers et al., Introducing X-machine models to verify PLC ladder diagrams, COMPUT IND, 45(3), 2001, pp. 277-290
Introduction to IPCAT 99
Authors:
Paton, R Holcombe, M
Citation:
R. Paton et M. Holcombe, Introduction to IPCAT 99, BIOSYSTEMS, 55(1-3), 2000, pp. 1-3
A logic for biological systems
Authors:
Duan, ZH Holcombe, M Bell, A
Citation:
Zh. Duan et al., A logic for biological systems, BIOSYSTEMS, 55(1-3), 2000, pp. 93-105
Risultati:
1-4
|