Publication:4520835
From MaRDI portal
zbMath0960.68006MaRDI QIDQ4520835
Cristina Vertan, Horia Georgescu
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_6_5/a_new_approach_to
68M10: Network design and communication in computer systems
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
A unified integration and component testing approach from deterministic stream X-machine specifications, Testing data processing-oriented systems from stream X-machine models, Testing against a non-controllable stream X-machine using state counting