Masashi Asuka

According to our database1, Masashi Asuka authored at least 3 papers between 1998 and 2012.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

1998
Applying SOFL to Specify A Railway Crossing Controller for Industry.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.
Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998


  Loading...