Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-5
|
Results: 5
Experiences of using formal methods for chemical process control specification
Authors:
Lano, K Bicarregui, J Kan, P
Citation:
K. Lano et al., Experiences of using formal methods for chemical process control specification, CON ENG PR, 8(1), 2000, pp. 71-79
Formal implementation of procedural controllers for event-driven sequential systems in chemical processes
Authors:
Chavoya, A Sanchez, A Lano, K
Citation:
A. Chavoya et al., Formal implementation of procedural controllers for event-driven sequential systems in chemical processes, COMPUT CH E, 24(2-7), 2000, pp. 297-302
A semantic comparison of fusion and syntropy
Authors:
Lano, K France, R Bruel, JM
Citation:
K. Lano et al., A semantic comparison of fusion and syntropy, COMPUTER J, 43(6), 2000, pp. 451-468
Meta-modelling semantics of UML
Authors:
Evans, A Lano, K France, R Rumpe, B
Citation:
A. Evans et al., Meta-modelling semantics of UML, KLUW ENGN C, 523, 1999, pp. 45-60
Formalising the UML in structured temporal theories
Authors:
Lano, K Bicarregui, J
Citation:
K. Lano et J. Bicarregui, Formalising the UML in structured temporal theories, KLUW ENGN C, 523, 1999, pp. 161-174
Risultati:
1-5
|