Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /

Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the b...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Ravn, Anders P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rischel, Hans (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Έκδοση:	1st ed. 1998.
Σειρά:	Lecture Notes in Computer Science, 1486
Θέματα:	Programming languages (Electronic computers). Architecture, Computer. Computers. Computer logic. Microprocessors. Special purpose computers. Programming Languages, Compilers, Interpreters. Computer System Implementation. Theory of Computation. Logics and Meanings of Programs. Processor Architectures. Special Purpose and Application-Based Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
Έκδοση: (2000)

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
Έκδοση: (2002)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
Έκδοση: (2004)

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
Έκδοση: (1998)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
Έκδοση: (2018)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
Έκδοση: (2018)

Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
ανά: Müller-Olm, Markus, κ.ά.
Έκδοση: (1997)

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018, Revised Selected Papers /
Έκδοση: (2018)

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019, Revised Selected Papers /
Έκδοση: (2019)

Programming with Actors State-of-the-Art and Research Perspectives /
Έκδοση: (2018)

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Έκδοση: (2003)

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /
Έκδοση: (2018)

Correct System Design Recent Insights and Advances /
Έκδοση: (1999)

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /
Έκδοση: (2018)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers /
Έκδοση: (2018)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /
Έκδοση: (2018)

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /
Έκδοση: (2019)

Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
Έκδοση: (2002)

Hybrid Systems IV
Έκδοση: (1997)

Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Έκδοση: (2003)

FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Έκδοση: (1999)

FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Έκδοση: (1999)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Έκδοση: (2004)

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Έκδοση: (2003)

Recent Advances in Parallel Virtual Machine and Message Passing Interface 10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings /
Έκδοση: (2003)

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /
Έκδοση: (2019)

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers /
Έκδοση: (2019)

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Έκδοση: (2018)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ανά: Pflanz, Matthias, κ.ά.
Έκδοση: (2002)

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings /
Έκδοση: (2019)

Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings /
Έκδοση: (1999)

Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers /
Έκδοση: (2001)

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Έκδοση: (1997)

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
Έκδοση: (2019)

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
Έκδοση: (2018)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /
Έκδοση: (2018)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών