Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Katoen, Jost-Pieter (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:	1st ed. 1999.
Series:	Lecture Notes in Computer Science, 1601
Subjects:	Computers. Software engineering. Computer engineering. Computer logic. Special purpose computers. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer Engineering. Logics and Meanings of Programs. Software Engineering. Special Purpose and Application-Based Systems.
Online Access:	Full Text via HEAL-Link

Similar Items

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Published: (1997)

FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Published: (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 /
Published: (1999)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Published: (2001)

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /
Published: (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 /
Published: (2004)

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Published: (2003)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Published: (2003)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Published: (2003)

Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
by: Geurts, Frederic, et al.
Published: (1998)

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 /
Published: (2004)

Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Published: (2003)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Published: (2002)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Published: (1997)

Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /
Published: (2000)

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
Published: (1998)

Hybrid Systems IV
Published: (1997)

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Published: (2000)

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Published: (2018)

Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
Published: (2002)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Published: (2018)

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 /
Published: (1997)

Self-Adaptive Software Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers /
Published: (2003)

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
Published: (2018)

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
Published: (2019)

Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
by: Müller-Olm, Markus, et al.
Published: (1997)

Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
Published: (2002)

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /
Published: (2019)

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Published: (2018)

Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings /
Published: (2001)

Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
Published: (2004)

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings /
Published: (2019)

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Published: (2003)

SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings /
Published: (2001)

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

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by: Pflanz, Matthias, et al.
Published: (2002)

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

Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
Published: (1999)

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

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 /
Published: (2002)

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

Cannot write session to /tmp/vufind_sessions/sess_p03ilmqvfqlul53baibjrlr8qk