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

Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Tomlin, Claire J. (Editor), Greenstreet, Mark R. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2289 Springer eBook Collection.
Subjects:	Computer engineering. Special purpose computers. Microprocessors. Software engineering. Computer logic. Computers. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Published: (2006)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Published: (2005)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Published: (2007)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings
Published: (2008)

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

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

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Published: (2009)

Hybrid Systems III Verification and Control
Published: (1996)

Hybrid Systems II
Published: (1995)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Published: (2004)

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

Hybrid Systems
Published: (1993)

Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Published: (2000)

Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Published: (1997)

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)

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)

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

Hybrid Systems IV
Published: (1997)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Published: (2018)

Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings
Published: (1997)

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)

Computer Aided Systems Theory - EUROCAST '95 A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings
Published: (1996)

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

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

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings
Published: (2010)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Published: (2011)

Power Aware Computing
Published: (2002)

Formal Techniques in Real-Time and Fault-Tolerant Systems
Published: (1993)

Algorithms, Software and Hardware of Parallel Computers
Published: (1984)

The Engineering of Complex Real-Time Computer Control Systems
Published: (1996)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Published: (2018)

Distributed Systems for System Architects
by: Veríssimo, Paulo, et al.
Published: (2001)

Software Architectures and Component Technology
Published: (2002)

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

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

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Published: (2000)

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
Published: (1995)

Foundations of Dependable Computing Models and Frameworks for Dependable Systems
Published: (1994)

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Published: (2001)

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