Jan Kofroň PhD thesis page

Text of my PhD thesis

The text of the thesis can be downloaded in the PDF format here.

Tools

The tool for translation of an EBP specification into Promela can be downloaded as a ZIP archive here.

The EBP specification platform was successfully used in the CoCoME project; the information related to the SOFA 2.0 solution can be found here.

Other links

Information on the CRE project mentioned in the thesis can be found here.
A description of the component application aiming at providing access to the Internet at airports that was developed as a part of the project can be found here, while a diagram of the application is available here.