scholarly journals Designing dependable logic controllers using algebraic specifications

2006 ◽  
Vol 14 (10) ◽  
pp. 1143-1155 ◽  
Author(s):  
Jean-Marc Roussel ◽  
Jean-Marc Faure
Keyword(s):  
Algebraic Specifications ◽  
Logic Controllers

scholarly journals Designing dependable logic controllers using algebraic specifications

2004 ◽  
Vol 37 (18) ◽  
pp. 303-308 ◽  
Author(s):  
Jean-Marc Roussel ◽  
Jean-Marc Faure
Keyword(s):  
Algebraic Specifications ◽  
Logic Controllers

scholarly journals Toward formal development of programs from algebraic specifications: Parameterisation revisited

1992 ◽  
Vol 29 (8) ◽  
pp. 689-736 ◽  
Author(s):  
Donald Sannella ◽  
Stefan Sokolowski ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development
Sign in / Sign up

Export Citation Format

Share Document