MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, ...
BRIM, Luboš a Isabelle LINDEN. MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005. |
Další formáty:
BibTeX
LaTeX
RIS
|
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 |
Změnil | Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32. |
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ů |
VytisknoutZobrazeno: 12. 10. 2024 20:06