| 000 | 00573nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1998 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aLabaw, Bruce _9778257 |
||
| 100 |
_aHeitmeyer, Constance _9778258 |
||
| 100 |
_aBharadwaj, Ramesh _9778259 |
||
| 245 | 0 | _aUsing Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications | |
| 300 | _a927-648 p. | ||
| 650 |
_aRequirements _9754747 |
||
| 650 |
_aAbstraction _9285385 |
||
| 650 |
_aSimulation _92549 |
||
| 773 |
_d1998 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c744269 _d744269 |
||