Basket

    1.
    0031786 - UIVT-O 336109 SIGLE CZ eng V - Research Report
    Adámek, Jiří
    Modeling Unbounded Paralelism using Behavior Protocols.
    Prague: Charles University Dept. of SW Engn, 2005. 15 s. Technical Report, 2005/7.
    R&D Projects: GA ČR(CZ) GA102/03/0672
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : software components * model checking * unbounded parallelism * behavior protocols
    Subject RIV: JD - Computer Applications, Robotics
    Permanent Link: http://hdl.handle.net/11104/0132434
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all