An Operational Approach to Requirements Specification for Embedded Systems
収録刊行物
-
- IEEE Transactions on Software Engineering
-
IEEE Transactions on Software Engineering 8 250-269, 1982