The UofO LOTOS Research Group
Telecommunications
Software Engineering Research Group (TSERG)
School of Information Technology and Engineering
The LOTOS Group specializes in problems of specification, prototyping and validation of distributed systems using LOTOS and related tools.
| Discover the researchers of the LOTOS Group | |
| Find out about our research interests | |
| Use our electronic services to browse papers, theses, presentations, mailing lists... | |
| Shortcuts to other sources of information on related topics. | |
| The private room contains sections reserved to local users. |