Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
- P.R. d' Argenio
- , Joost P. Katoen
- , Hendrik Brinksma
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
15
Link opens in a new tab
Citations
(Scopus)
266
Downloads
(Pure)