1. Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II (2020) Other Names: Sekerinski, E (Emil), 1963-; Moreira, Nelma; Oliveira, José N; International Symposium of Formal Methods Europe, 23rd Record Type: Book Extent: 1 online resource (575 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers. (2020) Editors: Hasan, Osman, 1975-; Mallet, Frédéric Other Names: FTSCS (Workshop), 7th Record Type: Book Extent: 1 online resource (viii, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 /: selected contributions from FDL 2018. (2020) Other Names: Kaźmierski, Thomas J; Steinhorst, Sebastian; Grosse, Daniel; FDL (Conference) Record Type: Book Extent: 1 online resource (197 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗