LTI - Laboratoire de téléinformatique

Type de document

• Conference Papers (58)
• Reports (11)
• Posters (2)
• Theses (2)
• Books (1)
• Journal Articles (1)

Laboratoire

• LTI (75)
• LABOS (2)
• LAMS (2)
• LSP (1)

Année de publication

• 2013 (1)
• 2012 (2)
• 2011 (4)
• 2010 (1)
• 2009 (3)
• 2008 (1)
• 2007 (2)
• 2006 (3)
• 2005 (1)
• 2004 (4)
• 2003 (2)
• 2002 (4)
• 2001 (1)
• 1999 (2)
• 1998 (5)
• 1997 (1)
• 1996 (4)
• 1995 (3)
• 1994 (7)
• 1993 (4)
• 1992 (10)
• 1991 (3)
• 1989 (3)
• 1987 (2)
• 1984 (2)

Montrer plus

Journal

• Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control (2)
• Infocom'93 (2)
• 17th Conference on Local Computer Networks (1)
• 3rd International workshop on Real Time ADA issues (1)
• 6th European Conference on Electrotechnics - EUROCON 84. Computers in Communication and Control (1)
• 6th IEEE Intern. Workshop Microelectronics and Photonics in Communications (1)
• 7th IFIP WG 6.1 International Conference on Formal Description Techniques (1)
• 9th ISCA International Conference. Parallel and Distributed Computing Systems (1)
• AFADL’98 (1)
• CAP'02 (1)
• Communicating Process Architectures 2003, CAP`03 (1)
• Computer Networks and ISDN Systems (1)
• DECUS European Symposium (1)
• Design, Verification and Simulation, HICSS-30, Thirtieth Hawaii International Conference on System Sciences (1)
• ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation (1)
• Exploring Services Science. IESS 2013 (1)
• Global Telecommunications Conference (GLOBECOM 92) : Communication for Global Uses, Conference Records (1)
• Globcom'94, IEEE Global Telecommunications Conference (1)
• Globecom (1)
• ICSE'98, The 20th International Conference on Software Engineering (1)
• IEEE Computer (1)
• IEEE Global Telecommunications Conference GLOBECOM '91: Countdown to the New Millennium. Conference Record (1)
• IEEE INFOCOM'93 (1)
• IEEE MONTECH '87 Conferences: Communications - Telecommunications Today and Tomorrow (1)
• IFIP TC6/WG6.1, 6th International Conference on Formal Description Techniques-FORTE'93 (1)
• Intelligent Networks Conference (1)
• International Conference on Communications (1)
• IZS'92, 1992 International Zurich Seminar on Digital Communications. Intelligent Networks and their Applications (1)
• IZSD'92, 1992 International Zurich Seminar on Digital Communications (1)
• Mathematics of Program Construction Mastrand (1)
• Microprocessing and Microprogramming (1)
• Middleware'98 : IFIP Internal Conference on Distributed system Platforms and Open Distributed Processing (1)
• OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion (1)
• OOPSLA'98 (1)
• PDSE/ICSE-18 workshop (1)
• Pise Workshop proceedings (1)
• Principles Of Distributed Systems, Proceedings (1)
• Proceedings of the 1994 International Conference on Network Protocols (1)
• Proceedings of the 4th International IFIP Workshop on Protocols for High Speed Networks (1)
• Proceedings of the 4th Workshop on Future Trends of Distributed Computing Systems (1)
• RTS'95 (1)
• SEDE-2006, 15th International Conference on Software Engineering and Data Engineering (1)
• SEKE’05, 17th International Conference on Software Engineering and Knowledge Engineering (1)
• SEKE’06, 18th International Conference on Software Engineering and Knowledge Engineering (1)
• SERP'02 (1)
• Sixth Euromicro Workshop on Real-Time Systems (1)
• Thema 9 (1)
• Third Int. Workshop on Feature Interactions in Telecommunications Software Systems (1)
• TOOLS 29, Technology of Object-Oriented Languages and Systems (1)

Montrer plus