A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models von Benghazi Akhlaki, K., Capel Tuñón, M.I., Holgado Terriza, J.A., Mendoza Morales, L.E.

Volltext

An Approach to Structured Parallel Programming Based on a Composition von Rossainz Lopez, M., Capel Tunon, M.I.

Volltext bestellen

Java-Based Adaptable Middleware Platform for Virtual Instrumentation von Holgado-Terriza, J.A., Guillen, A.M., Capel-Tunon, M.I.

Volltext

A parallel programming methodology based on high level parallel compositions (CPANs) von Capel Tunon, M.I., Lopez, M.R.

Volltext bestellen

Parallel computing in experimental mechanics and optical measurement: A review (II) von Wang, Tianyi, Kemao, Qian

Volltext

An executable formal semantics for UML-RT von Posse, Ernesto, Dingel, Juergen

Volltext

Genomic Consideration in Chemotherapy-Induced Ovarian Damage and Fertility Preservation von Kim, Seongmin, Lee, Sanghoon, Park, Hyun-Tae, Song, Jae-Yun, Kim, Tak

Volltext

Analysis of a Braking System on the Basis of Structured Analysis Methods von Salem, Ben, M.N., Lakhoua, Amraoui, El

Volltext