A graph based semantics for logical functional diagrams in power plant controllers

DOI10.1007/978-3-031-11321-5_4OpenAlexW4285302286MaRDI QIDQ2103904FDOQ2103904

Authors: Aziz Sfar, Madalina Croitoru, Dina Alina Irofti 

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_4

zbMATH Keywords

functional specificationssystem validationgraph based knowledge representation and reasoninglogic functional diagram

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• A theory of timed automata
• Title not available (Why is that?)
• Testing timed automata
• Analysis of cyclic combinational circuits

This page was built for publication: A graph based semantics for logical functional diagrams in power plant controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103904)