W 2005

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

BRIM, Luboš a Isabelle LINDEN

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

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

Příznaky

Mezinárodní význam
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

V originále

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.

Č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ů