مرکز منطقه ای اطلاع رساني علوم و فناوري - Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design

Title of article :

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design

Author/Authors :

Robert J. Hall ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

233

To page :

261

Keywords :

formal methods , Electronic mail , Reactive systems

Journal title :

Automated Software Engineering

Serial Year :

2002

Journal title :

Automated Software Engineering

Record number :

307097

Link To Document :