Benutzer: Gast  Login
Titel:

Refining Task Specifications using Model Checking

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Yeolekar, Anand; Metta, Ravindra; R, Venkatesh; Chakraborty, Samarjit
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