Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
From MaRDI portal
Publication:1857286
DOI10.1023/A:1016372507161zbMath1034.68612MaRDI QIDQ1857286
Publication date: 17 February 2003
Published in: Automated Software Engineering (Search for Journal in Brave)
Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic ⋮ Analyzing restricted fragments of the theory of linear arithmetic ⋮ On quantified linear implications
Uses Software
This page was built for publication: Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
