Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 |
![]() |
Zo: A framework for autonomous agent behavior specification and analysis | 1990 | Text | ir_uspace |
2 |
![]() |
Specification-driven design of custom hardware in HOP | 1988 | Text | ir_uspace |
3 |
![]() |
The electronic check-out program: a school-based note program to improve on-task behavior | 2017 | Text | ir_etd |