Items where Author is "Ünver, Ali Osman"

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

Journal Paper

  • An overview of model checking practices on verification of PLC software
    Ovatman, Tolga and Aral, Atakan and Polat, Davut and Ünver, Ali Osman Software & Systems Modeling, 15 (4). pp. 937-960 ISSN 1619-1366 Springer (2016)

    • This list was generated on Sat Nov 9 19:05:04 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.