Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /

Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18-20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT an...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Rosen, Jean-Pierre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2655
Θέματα:	Engineering. Software engineering. Computer communication systems. Special purpose computers. Computer programming. Engineering, general. Software Engineering/Programming and Operating Systems. Software Engineering. Computer Communication Networks. Special Purpose and Application-Based Systems. Programming Techniques.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
Έκδοση: (2001)

Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /
Έκδοση: (2004)

Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
Έκδοση: (1999)

Reliable Software Technologies - Ada-Europe '97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings /
Έκδοση: (1997)

Reliable Software Technologies - Ada-Europe '98 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings /
Έκδοση: (1998)

Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Software and Compilers for Embedded Systems 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings /
Έκδοση: (2003)

Software Frameworks and Embedded Control Systems
ανά: Pasetti, Alessandro, κ.ά.
Έκδοση: (2002)

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)

Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
Έκδοση: (1997)

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

Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Έκδοση: (1999)

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

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

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

Software Engineering - ESEC-FSE '97 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings /
Έκδοση: (1997)

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /
Έκδοση: (2018)

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

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

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

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)

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

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers /
Έκδοση: (2019)

Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings /
Έκδοση: (1998)

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings /
Έκδοση: (2019)

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /
Έκδοση: (2001)

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

Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
Έκδοση: (2002)

Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
Έκδοση: (2003)

Self-Stabilizing Systems 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings /
Έκδοση: (2003)

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

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Έκδοση: (2000)

Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings /
Έκδοση: (2001)

Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
ανά: Geurts, Frederic, κ.ά.
Έκδοση: (1998)

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Έκδοση: (2018)

Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings /
Έκδοση: (2019)

Self-Adaptive Software Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers /
Έκδοση: (2003)

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)

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

Cannot write session to /tmp/vufind_sessions/sess_t5574q9lnf79m7dindqb3avdi5