Travelled to:
1 × Portugal
Collaborated with:
S.Bradley W.Henderson D.Kendall
Talks about:
languag (2) data (2) system (1) specif (1) integr (1) formal (1) design (1) model (1) aorta (1) time (1)
Person: Adrian Robson
DBLP: Robson:Adrian
Contributed to:
Wrote 2 papers:
- FASE-1998-BradleyHKR #modelling #specification
- Integrating AORTA with Model-Based Data Specification Languages (SB, WH, DK, AR), pp. 54–70.
- FASE-J-1998-BradleyHKR01 #design #realtime
- A formal design language for real-time systems with data (SB, WH, DK, AR), pp. 3–29.