Takanori Mori
According to our database1,
Takanori Mori
authored at least 7 papers
between 2001 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the IEEE International Conference on Systems, 2010
2005
Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005
2004
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ., 2004
2003
A test sequence generation method for communication protocols using the SAT algorithm.
Syst. Comput. Jpn., 2003
2002
Proceedings of the Information Networking, 2002
Proceedings of the Field-Programmable Logic and Applications, 2002
2001
A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001