Počet záznamů: 1  

Specification and Generation of Environment for Model Checking of Software Components

  1. 1.
    Pařízek, P. - Plášil, František
    Specification and Generation of Environment for Model Checking of Software Components.
    Electronic Notes in Theoretical Computer Science. Roč. 176, - (2007), s. 143-154. ISSN 1571-0661
    http://hdl.handle.net/11104/0151179

    Citováno: 4

    --- TKACHUK, O. - DWYER, M.B. Environment generation for validating event-driven software using model checking. IET SOFTWARE. ISSN 1751-8806, JUN 2010, vol. 4, no. 3, p. 194-209. [WOS]
    --- SEINTURIER, L. - MERLE, P. - ROUVOY, R. - ROMERO, D. - SCHIAVONI, V. - STEFANI, J.B. A component-based middleware platform for reconfigurable service-oriented architectures. SOFTWARE-PRACTICE & EXPERIENCE. ISSN 0038-0644, MAY 2012, vol. 42, no. 5, p. 559-583. [WOS]
    --- CARVER, R.H. - LEI, Y. Distributed reachability testing of concurrent programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE. ISSN 1532-0626, DEC 25 2010, vol. 22, no. 18, p. 2445-2466. [WOS]
    --- BERNARDO, M. - BONTA, E. - ALDINI, A. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. JOURNAL OF SYSTEMS AND SOFTWARE. ISSN 0164-1212, AUG 2010, vol. 83, no. 8, SI, p. 1404-1429. [WOS]
Počet záznamů: 1