Travelled to:1 × Germany
1 × Spain
1 × UK
Collaborated with:J.Tuya L.Sánchez A.Goitia J.García-Fanjul R.Zurita
Talks about:model (2) structur (1) properti (1) internet (1) approach (1) project (1) pragmat (1) current (1) checker (1) verifi (1)
Person: José A. Corrales
DBLP: Corrales:Jos=eacute=_A=
Contributed to:
2000
19951993Wrote 3 papers:
- ICEIS-2000-GoitiaGTC #internet
- Building Internet Shops: Current Status of the Cities Project (AG, JGF, JT, JAC), pp. 529–530.
- 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.