Travelled to:
1 × Latvia
Collaborated with:
K.Jackson R.Puigjaner
Talks about:
perform (2) constraint (1) automat (1) toward (1) specif (1) formal (1) model (1) build (1)
Person: Albert Llamosí
DBLP: Llamos=iacute=:Albert
Facilitated 1 volumes:
Contributed to:
Wrote 1 papers:
- SEKE-1994-JacksonLP #automation #constraints #modelling #performance #specification #towards
- Towards automatic building of performance models: Formal specification of performance constraints (KJ, AL, RP), pp. 148–155.