AutoReq: Expressing and verifying requirements for control systems

в: Journal of Computer Languages, Том 51, 01.04.2019, стр. 131-142.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Naumchev, A, Meyer, B, Mazzara, M, Galinier, F, Bruel, J-M & Ebersold, S 2019, 'AutoReq: Expressing and verifying requirements for control systems', Journal of Computer Languages, Том. 51, стр. 131-142. https://doi.org/10.1016/j.cola.2019.02.004

Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J-M., & Ebersold, S. (2019). AutoReq: Expressing and verifying requirements for control systems. Journal of Computer Languages, 51, 131-142. https://doi.org/10.1016/j.cola.2019.02.004

Naumchev A, Meyer B, Mazzara M, Galinier F, Bruel J-M, Ebersold S. AutoReq: Expressing and verifying requirements for control systems. Journal of Computer Languages. 2019 апр. 1;51:131-142. doi: 10.1016/j.cola.2019.02.004

Naumchev, Alexandr ; Meyer, Bertrand ; Mazzara, Manuel и др. / AutoReq: Expressing and verifying requirements for control systems. в: Journal of Computer Languages. 2019 ; Том 51. стр. 131-142.

@article{8f637b413c3e40fb9b013ff17c5cf51d,

title = "AutoReq: Expressing and verifying requirements for control systems",

author = "Alexandr Naumchev and Bertrand Meyer and Manuel Mazzara and Florian Galinier and Jean-Michel Bruel and Sophie Ebersold",

year = "2019",

month = apr,

day = "1",

doi = "10.1016/j.cola.2019.02.004",

language = "English",

volume = "51",

pages = "131--142",

journal = "Journal of Computer Languages",

issn = "2590-1184",

}

TY - JOUR

T1 - AutoReq: Expressing and verifying requirements for control systems

AU - Naumchev, Alexandr

AU - Meyer, Bertrand

AU - Mazzara, Manuel

AU - Galinier, Florian

AU - Bruel, Jean-Michel

AU - Ebersold, Sophie

PY - 2019/4/1

Y1 - 2019/4/1

U2 - 10.1016/j.cola.2019.02.004

DO - 10.1016/j.cola.2019.02.004

M3 - Article

VL - 51

SP - 131

EP - 142

JO - Journal of Computer Languages

JF - Journal of Computer Languages

SN - 2590-1184

ER -

ID: 65525274