Example: air traffic controller
FINAL PROJECT REPORT - Institute for Computing and ...
FINAL PROJECT REPORT August 2007 Project no.: IST-2001-35304 Project Co-ordinator: Frits Vaandrager Project Start Date: 1 April 02 ... application of formal methods from an academic research topic into an engineering prac-tice. Even though the academic partners have a common background knowledge which
Tags:
Information
Domain:
Source:
Link to this page: