BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fern=aacute=ndez:Luis_S=aacute=nchez

Contributed to:

SAC 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.