Browsing by Author Sekerinski, Emil
Showing results 18 to 19 of 19
< previous
Publication Date | Title | Author(s) |
---|---|---|
2016 | Verification and Implementation of Embedded Systems from High-Level Models | Nokovic, Bojan |
Sep-2009 | Verification and Refinement Theory of Action Inheritance for Concurrent Objects | Pujari, Upasana |
Showing results 18 to 19 of 19
< previous