Domain-specific discrete event modelling and simulation using graph transformation.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 1, p. 209, doi. 10.1007/s10270-012-0242-3
- By:
- Publication type:
- Article
Works matching DE "MAUDE (Computer program language)"
Results: 11
1
2
Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic.
- Published in:
- Informatica (03505596), 2017, v. 41, n. 2, p. 233
- By:
- Publication type:
- Article
3
A Formal Framework Supporting the Specification of the Interactions between Agents.
- Published in:
- Informatica (03505596), 2007, v. 31, n. 3, p. 337
- By:
- Publication type:
- Article
4
Bioinspired Security Analysis of Wireless Protocols.
- Published in:
- Mobile Networks & Applications, 2016, v. 21, n. 1, p. 139, doi. 10.1007/s11036-016-0702-z
- By:
- Publication type:
- Article
5
ARGDIAL: an Argumentation Based Dialogue in Multi Agent Systems.
- Published in:
- International Review on Computers & Software, 2009, v. 4, n. 3, p. 392
- By:
- Publication type:
- Article
6
DIMA-RTMaude: a Formal Framework for Specifying DIMA Multi-Agents' Real Time Aspects.
- Published in:
- International Review on Computers & Software, 2009, v. 4, n. 3, p. 382
- By:
- Publication type:
- Article
7
On Analysis of Boundness Property for ECATNets by Using Logic of Concurrency.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 5, p. 492
- By:
- Publication type:
- Article
8
Deoxycholic Acid for Submental Convexity: A MAUDE Database Analysis.
- Published in:
- Craniomaxillofacial Trauma & Reconstruction, 2024, v. 17, n. 4, p. NP1, doi. 10.1177/19433875231226034
- By:
- Publication type:
- Article
9
Inspecting Maude variants with GLINTS.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 689, doi. 10.1017/S147106841700031X
- By:
- Publication type:
- Article
10
Assertion-based analysis via slicing with ABETS (system description).
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 515, doi. 10.1017/S1471068416000375
- By:
- Publication type:
- Article
11
UNA PROPUESTA PARA LA FORMALIZACIÓN DEL DIAGRAMA DE CLASES EN EL LENGUAJE MAUDE.
- Published in:
- Revista Politécnica, 2016, v. 12, n. 23, p. 39
- By:
- Publication type:
- Article