Formal description
相关论文数: 6
顶级研究者
最高引用论文
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
引用数: 65 • 1997
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
引用数: 44 • 1997
On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems
Alan Winfield, Jin Sa, Carmen Fernández-Gago, Clare Dixon, Michale Fisher
引用数: 12 • 2005
A Formal Semantics for Brahms
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
引用数: 9 • 2011
Abstractions for Collective Adaptive Systems
Omar Inverso, Catia Trubiani, Emilio Tuosto
引用数: 8 • 2020
Logical Formal Description of Expert Systems
Manuel De la Sen, J.J. Miñambres, Aitor J. Garrido, A. Almansa
引用数: 6 • 2002