University of Ottawa

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.
Researchers Discover the researchers of the LOTOS Group
Interests Find out about our research interests
Services Use our electronic services to browse papers, theses, presentations, mailing lists...
Links Shortcuts to other sources of information on related topics.
Private The private room contains sections reserved to local users.

lotos-mgr@site.uottawa.ca search