Xavier Logean

According to our database1, Xavier Logean authored at least 5 papers between 1997 and 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Modeling and testing object-oriented distributed systems with linear-time temporal logic.
Concurr. Comput. Pract. Exp., 2001

1999
On applying formal techniques to the development of hybrid services: challenges and directions.
IEEE Commun. Mag., 1999

1998
Testing Temporal Logic Properties in Distributed Systems.
Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

TINA service validation: the ErnesTINA project.
Proceedings of the 1998 IEEE International Conference on Communications, 1998

1997
A Generic Component Model for the design of future.
Proceedings of the Management of Multimedia Networks and Services, 1997


  Loading...