Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications
書誌事項
- タイトル
- Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications
- 著者
- Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
収録刊行物
-
- Proceedings of the 16th IEEE Pacific RimInternational Symposium on DependableComputing
-
Proceedings of the 16th IEEE Pacific RimInternational Symposium on DependableComputing