BASIS: A behavioral approach to the specification of information systems

• 作者Nancy G. Leveson; Anthony I. Wasserman; Daniel M. Berry
• 卷第8卷
• 期第1期
• 印刷ISSN0306-4379
• 电子ISSN0959-2954
• 文件大小1037.32KB
• 发表时间1983
• DOI10.1016/0306-4379(83)90025-x
• 页码15-23