Travelled to:1 × France
1 × USA
Collaborated with:C.D.Kloos J.Arias-Fisteus P.T.Breuer
Talks about:collabor (1) semant (1) formal (1) model (1) clean (1) check (1) appli (1) vhdl (1) busi (1) bpel (1)
Person: Luis Sánchez Fernández
DBLP: Fern=aacute=ndez:Luis_S=aacute=nchez
Contributed to:
2005
1994Wrote 2 papers:
- SAC-2005-Arias-FisteusFK #model checking
- Applying model checking to BPEL4WS business collaborations (JAF, LSF, CDK), pp. 826–830.
- EDAC-1994-BreuerFK #semantics
- Clean formal semantics for VHDL (PTB, LSF, CDK), pp. 641–647.