Régis Tissot
According to our database1,
Régis Tissot
authored at least 8 papers
between 2008 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
0
1
2
3
4
5
1
1
1
1
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Softw. Test. Verification Reliab., 2012
2011
Formal Aspects Comput., 2011
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2009
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.
Proceedings of Fifth Workshop on Model Based Testing, 2009
2008
A B Formal Framework for Security Developments in the Domain of Smart Card Applications.
Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008