A FORMAL METHOD FOR BUILDING CONCURRENT REAL-TIME SOFTWARE

Authors
FIDGE C KEARNEY P UTTING M
Citation
C. Fidge et al., A FORMAL METHOD FOR BUILDING CONCURRENT REAL-TIME SOFTWARE, IEEE software, 14(2), 1997, pp. 99-106
Citations number
14
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
IEEE software → ACNP
ISSN journal
07407459
Volume
14
Issue
2
Year of publication
1997
Pages
99 - 106
Database
ISI
SICI code
0740-7459(1997)14:2<99:AFMFBC>2.0.ZU;2-J