Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ICFEM
2004
Springer

favoriteEmaildiscussreport

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

13 years 10 months ago

Implementing Dynamic Aggregations of Abstract Machines in the B Method

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu

Real-time Traffic

ICFEM 2004 |

claim paper

Related Content

» A Generic FlashBased Animation Engine for ProB

» Implementing and testing dynamic timeout adjustment as a dos countermeasure

» Hedera Dynamic Flow Scheduling for Data Center Networks

» Dynamic Web Service Selection for Reliable Web Service Composition

» Systemlevel exploration of association table implementations in telecom network applicatio...

» A Machine Model for AspectOriented Programming

» Towards RealTime Distributed Signal Modeling for BrainMachine Interfaces

» Flexible Language Interoperability

» Dynamic Expansion of Behaviour Trees

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ICFEM
Authors	Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum

Comments (0)