TOP » ISO » ISO/IEC JTC 1/SC 7 » ISO 8807:1989 情報処理システム—オープンシステム相互接続— LOTOS —観察行動の時間的順序に基づく正式な記述手法

2021-10-05 / 2022-03-27

ISO 8807:1989 情報処理システム—オープンシステム相互接続— LOTOS —観察行動の時間的順序に基づく正式な記述手法 | ページ 8

この規格プレビューページの目次

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

B.4 参考文献

次の参考文献は、検証の問題をさらに検討するのに役立つ場合があります。

[1]	T.Bolognesi, S.Smolka, Fundamental results for the validation of observational equivalence: a survey, in: H.Rudin, C.West (eds.), Proc.第7回IFIP/WG6.1国際プロトコル仕様、テストおよび検証に関するワークショップ、北ホランド、アムステルダム 1988, pp. 165-18
[2]	E Brinksma, G Scollo, C Steenbergen, LOTOS 仕様、その実装とテスト。G Bochmann, B Sarikay, Proc.第6回IFIP/WG6.1国際プロトコル仕様、テスト、および検証に関するワークショップ、北オランダ、アムステルダム 1986.
[3]	R. De Nicola, M. Hennessy, Testing equivalences for processes, Th.Comp.Science 34 (1984), pp. 83133.
[4]	H.Ehrig, B.Mahr, 代数仕様の基礎 1, EATCS, Springer-Verlag, ベルリン 1985
[5]	R.Milner, 通信システムの微積分、LNCS 92, Springer-Verlag, ベルリン、198
[6]	E. Najm 著、トランスポートプロトコルの LOTOS における検証指向の仕様、H. Rudin, C. Wes, Proc.第7回IFIP/WG6.1国際プロトコル仕様、テストおよび検証に関するワークショップ、北オランダ、アムステルダム 1988, pp. 181-20

B.4 References

The following references may be found useful for the further study of verification issues.

[1]	T.Bolognesi, S.Smolka, Fundamental results for the verification of observational equivalence: a survey, in: H.Rudin, C.West (eds.), Proc. 7th IFIP/WG6.1 Int. Workshop on Protocol Specification, Testing and Verfication, North-Holland, Amsterdam 1988, pp. 165-180.
[2]	E.Brinksma, G.Scollo, C.Steenbergen, LOTOS specifications, their implementations and their tests, in: G.Bochmann, B.Sarikaya (eds.), Proc. 6th IFIP/WG6.1 Int. Workshop on Protocol Specification, Testing and Verfication, North-Holland, Amsterdam 1986.
[3]	R. De Nicola, M.Hennessy, Testing equivalences for processes, Th.Comp.Science 34 (1984), pp. 83133.
[4]	H.Ehrig, B.Mahr, Fundamentals of algebraic specification 1, EATCS, Springer-Verlag, Berlin 1985
[5]	R.Milner, A calculus of communicating systems, LNCS 92, Springer-Verlag, Berlin, 1980.
[6]	E.Najm, A verification oriented specification in LOTOS of the transport protocol, in: H.Rudin, C.West (eds.), Proc. 7th IFIP/WG6.1 Int. Workshop on Protocol Specification, Testing and Verfication, NorthHolland, Amsterdam 1988, pp. 181-203.

ISO PDF プレビュー