scientific article; zbMATH DE number 1951085

zbMath1021.68657MaRDI QIDQ4413531

Vincent Hilaire, Abder Koukam, Pablo Gruer

Publication date: 21 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2592/25920036.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal specificationmethodologyMulti-agent systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Uses Software

• NuSMV

This page was built for publication: