Cited By
View all- Yamada CNagata Y(2007)An efficient specification for model checking using check-points extraction methodProceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 710.5555/1348171.1348207(208-213)Online publication date: 21-Nov-2007
- Yamada CNagata Y(2007)A check-points extraction method for formal verificationProceedings of the 7th Conference on 7th WSEAS International Conference on Systems Theory and Scientific Computation - Volume 710.5555/1347895.1347908(78-83)Online publication date: 24-Aug-2007
- Yamada CNagata Y(2006)Temporal formula specifications of asynchronous control module in model checkingProceedings of the 6th WSEAS international conference on Applied computer science10.5555/1973812.1973854(214-219)Online publication date: 16-Dec-2006