Submitted by ozgurkafali on Tue, 10/04/2016 - 4:55pm
| Title | Formal Understanding of Tradeoffs among Liveness and Safety Requirements |
| Publication Type | Conference Proceedings |
| Year of Publication | 2016 |
| Authors | Ozgur Kafali, Nirav Ajmeri, Munindar P. Singh |
| Conference Name | Proceedings of the 3rd International Workshop on Artificial Intelligence for Requirements Engineering (AIRE) |
| Pagination | 17-18 |
| Date Published | 09/2016 |
| Publisher | IEEE Computer Society |
| Conference Location | Beijing, China |
| Citation Key | RE-16-AIRE:tradeoffs |
| Refereed Designation | Refereed |
Formal Understanding of Tradeoffs among Liveness and Safety Requirements