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 × Germany
1 × Spain
Collaborated with:
J.Tuya J.A.Corrales R.Zurita
Talks about:
model (2) structur (1) properti (1) approach (1) pragmat (1) checker (1) verifi (1) symbol (1) specif (1) safeti (1)

Person: Luciano Sánchez

DBLP DBLP: S=aacute=nchez:Luciano

Contributed to:

ESEC 19951995
ESEC 19931993

Wrote 2 papers:

ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.
ESEC-1993-TuyaSZC #approach #design #realtime #specification
A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification (JT, LS, RZ, JAC), pp. 301–312.

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.