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: S=aacute=nchez:Luciano
Contributed to:
19951993Wrote 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.