MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, ...
BRIM, Luboš and Isabelle LINDEN. MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems |
Name in Czech | MTCoord 2005 1. mezinárodní workshop o metodách a nástrojích pro koordinaci souběžných a mobilních systémů |
Authors | BRIM, Luboš (203 Czech Republic, guarantor) and Isabelle LINDEN (56 Belgium). |
Edition | 2005. |
Other information | |
---|---|
Original language | English |
Type of outcome | Organization of a workshop |
Field of Study | 10201 Computer sciences, information science, bioinformatics |
Country of publisher | Belgium |
Confidentiality degree | is not subject to a state or trade secret |
RIV identification code | RIV/00216224:14330/05:00013425 |
Organization unit | Faculty of Informatics |
Keywords in English | Concurrent; Distributed and Mobile Systems |
Tags | Concurrent, Distributed and Mobile Systems |
Tags | International impact |
Changed by | Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32. |
Abstract |
---|
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. |
Abstract (in Czech) |
---|
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ů. |
Links | |
---|---|
MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy |
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems | |
1ET408050503, research and development project | Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů |
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems |
PrintDisplayed: 15/10/2024 16:33