Related Projects

		Softly Timed Real-Time Embedded Systems
		Verification of Hybrid Systems
		Côte de Resyste
		Systems Validation Centre
		Projects at FMT - UT and ITA - KUN

Related Sites

		Institute for Programming research and Algorithmics
		Promise, Probabilistic Methods in System Engineering

Related Links

		Formal Methods for Real Time Systems
		Process Algebras for Performance Modelling (at Edinburgh or Twente)