Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations

2011 Workshop-School on Theoretical Computer Science ◽

10.1109/weit.2011.13 ◽

2011 ◽

Author(s):

Raquel de Miranda Barbosa ◽

Antonio Carlos da Rocha Costa

Keyword(s):

Multiagent Systems ◽

Formal Specification

Download Full-text

Applying Type Theory to Formal Specification of Recursive Multiagent Systems

2009 IEEE-RIVF International Conference on Computing and Communication Technologies ◽

10.1109/rivf.2009.5174624 ◽

2009 ◽

Author(s):

Thi Thanh Ha Hoang ◽

Michel Occello ◽

Thanh Binh Nguyen

Keyword(s):

Multiagent Systems ◽

Formal Specification ◽

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

Author(s):

L. M. G. Feijs ◽

H. B. M. Jonkers

Keyword(s):

Formal Specification

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Co-evolution of Hetero Multiagent Systems using Genetic Network Programming.

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.123.544 ◽

2003 ◽

Vol 123 (3) ◽

pp. 544-551 ◽

Author(s):

Kotaro Hirasawa ◽

Masafumi Okubo ◽

Jinglu Hu ◽

Junichi Murata ◽

Yuko Matsuya

Keyword(s):

Multiagent Systems ◽

Genetic Network ◽

Network Programming ◽

Genetic Network Programming

Download Full-text

Secure consensus of multiagent systems with input saturation and DoS attacks

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188364 ◽

2020 ◽

Author(s):

Shengli Du ◽

Qiushuo Yan ◽

Yongfeng Gao ◽

Caixia Wang

Keyword(s):

Multiagent Systems ◽

Input Saturation ◽

Download Full-text

Information technology. Z formal specification notation. Syntax, type system and semantics

10.3403/02620581 ◽

2002 ◽

Keyword(s):

Information Technology ◽

Formal Specification ◽

Download Full-text

Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986

10.21236/ada226984 ◽

1986 ◽

Author(s):

William T. Mayfield ◽

John Chludzinski ◽

John McHugh ◽

Stephen R. Welke

Keyword(s):

North Carolina ◽

Formal Specification ◽

Research Triangle ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

Author(s):

Daniel M. Berry

Keyword(s):

Formal Specification ◽

Concurrent Programs ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Application of Formal Specification to Software Maintenance.

10.21236/ada311137 ◽

1990 ◽

Author(s):

Neel Madhav ◽

Sriram Sankar

Keyword(s):

Formal Specification ◽

Software Maintenance

Download Full-text

The Use of Formal Specification of Software

10.1007/978-3-642-67881-3 ◽

1980 ◽

Keyword(s):

Formal Specification

Download Full-text