Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /

Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Wang, Farn (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:	1st ed. 2004.
Σειρά:	Lecture Notes in Computer Science, 3299
Θέματα:	Computer-aided engineering. Computer logic. Computers. Computer communication systems. Special purpose computers. Software engineering. Computer-Aided Engineering (CAD, CAE) and Design. Logics and Meanings of Programs. Information Systems and Communication Service. Computer Communication Networks. Special Purpose and Application-Based Systems. Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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)

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)

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

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

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

Field-Programmable Logic and Applications 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 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)

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Έκδοση: (2003)

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

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

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)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Έκδοση: (2018)

Self-Stabilizing Systems 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings /
Έκδοση: (2001)

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

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

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

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

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

SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings /
Έκδοση: (2001)

Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
Έκδοση: (2000)

Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /
Έκδοση: (2003)

Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14-16, 2018, Revised Selected Papers /
Έκδοση: (2019)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16-18, 2019, Proceedings, Part I /
Έκδοση: (2019)

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)

Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

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

Field Programmable Logic and Application 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings /
Έκδοση: (2004)

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

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

Transactions on Pattern Languages of Programming IV
Έκδοση: (2019)

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

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

Transactions on Computational Collective Intelligence XXVIII
Έκδοση: (2018)

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

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

Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers /
Έκδοση: (2019)

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)

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

Cannot write session to /tmp/vufind_sessions/sess_mm8ik1v2gejh2hce58e7e8f372