1. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Model-based systems engineering with OPM and SysML. (2016) Authors: Dori, Dov Record Type: Book Extent: 1 online resource (xxii, 411 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Object-oriented technology. (2015) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xiv, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 4th Record Type: Book Extent: 1 online resource (viii, 189 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers. (2020) Other Names: Miao, Huaikou, 1953-; Tian, Cong; Liu, Shaoying, 1960-; Duan, Zhenhua; SOFL+MSVL (Workshop), 9th Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Time-space, spiking neural networks and brain-inspired artificial intelligence. (2018) Authors: Kasabov, Nikola K Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗