Search Results - "Formal methods (Computer science)--Congresses"

Formal Ontology in Information Systems : Proceedings of the Twelfth International Conference (FOIS 2021)

Authors: Fabian Neuhaus Boyan Brodaric

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses, Ontologies (Information retrieval)--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Formal Ontology in Information Systems : Proceedings of the 11th International Conference (FOIS 2020)

Authors: Boyan Brodaric Fabian Neuhaus

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses, Ontologies (Information retrieval)--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Formal Ontology in Information Systems : Proceedings of the 10th International Conference (FOIS 2018)

Authors: Stefano Borgo

Resource Type: eBook.

Subjects: Formal methods (Computer science)--Congresses, Ontologies (Information retrieval)--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

CAFE: An Industrial-Strength Algebraic Formal Method

Authors: K. Futatsugi A.T. Nakagawa T. Tamai

Resource Type: eBook.

Subjects: Algebraic logic--Congresses, Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Semantic model driven engineering

Authors: Milward, David Michael

Committee Members: Davies, James; Nikitina, Nadeschda

URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.860085