OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Naumchev, Alexandr"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


Naumchev, Alexandr and Meyer, Bertrand and Mazzara, Manuel and Galinier, Florian and Bruel, Jean-Michel and Ebersold, Sophie. AutoReq: expressing and verifying requirements for control systems. (2019) Journal of Visual Languages and Computing, 51. 131-142. ISSN 1045-926X

This list was generated on Sun Dec 5 00:07:24 2021 CET.