Integrating methods for the design of real-time systems

Hooman, J.; Vain, J. (1996). Integrating methods for the design of real-time systems. Journal of Systems Architecture, 42, 489−502.10.1016/S1383-7621(96)00036-7.
ajakirjaartikkel
Hooman, J.; Vain, J.
  • Inglise
Journal of Systems Architecture
1383-7621
42
1996
489502
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.1016/S1383-7621(96)00036-7

Lisainfo

compositional verification, conceptual modeling, formal specification, real-time, refinement
ISI Current Contents.Engineering, Computing & Technology; Scopus