Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Yeolekar, Anand; Metta, Ravindra; R, Venkatesh; Chakraborty, Samarjit
- Titel:
- Refining Task Specifications using Model Checking
- Kongress- / Buchtitel:
- Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 01.08.2018
- Jahr:
- 2018
- Print-ISBN:
- 9781538677599
- Reviewed:
- ja
- Volltext / DOI:
- doi:10.1109/rtcsa.2018.00030
BibTeX