Communication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 | EKB DL

EKB DL

Home BookCommunication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Communication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000

Description

Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000

Keywords

MathematicsAlgebraAbstractScienceSystem TheoryComputersSystems ArchitectureProgramming LanguagesSoftware Development & EngineeringHistory & PhilosophyLanguage Arts & DisciplinesLibrary & Information Science

2000Book

Author(s)Günter Hommel

PublisherSpringer Science & Business Media

ISBN9780792361732

LanguageEnglish

SpringerLink

Similar Books

Book

Quality of Communication-Based Systems

Book

Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Book

Petri Net Technology for Communication-Based Systems Advances in Petri Nets

Book

Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Book

Embedded Systems -- Modeling, Technology, and Applications Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006

Book

Testing of Communicating Systems Methods and Applications

Book

Coordination Languages and Models Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings

Book

Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Book

Testing of Communicating Systems Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada

Book

Tools and Algorithms for the Construction and Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers