MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems

BRIM, Luboš a Isabelle LINDEN. MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005.

Základní údaje

• Originální název: MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
• Název česky: MTCoord 2005 1. mezinárodní workshop o metodách a nástrojích pro koordinaci souběžných a mobilních systémů
• Autoři: BRIM, Luboš (203 Česká republika, garant) a Isabelle LINDEN (56 Belgie).
• Vydání: 2005.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Uspořádání workshopu
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Belgie
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14330/05:00013425
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: Concurrent; Distributed and Mobile Systems
• Štítky: Concurrent, Distributed and Mobile Systems
• Příznaky: Mezinárodní význam

Anotace

The aim of the workshop is to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems.

Anotace česky

Cílem workshopu je umožnit preyentace výsledků z oblasti metod a nástrojů pro koordinaci souběžných a mobilních szstémů.

Návaznosti

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

• 1ET408050503, projekt VaV: Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů

Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů