Real-time object-oriented design and formal methods

Authors
De la Puente, JA
Citation
Ja. De La Puente, Real-time object-oriented design and formal methods, REAL-TIME S, 18(1), 2000, pp. 79-83
Citations number
13
Categorie Soggetti
Computer Science & Engineering
Journal title
REAL-TIME SYSTEMS
ISSN journal
09226443 → ACNP
Volume
18
Issue
1
Year of publication
2000
Pages
79 - 83
Database
ISI
SICI code
0922-6443(200001)18:1<79:RODAFM>2.0.ZU;2-N