Towards Dynamically Communicating Abstract Machines in the B Method Conferences

authors

• Aguirre, Nazareno
• Arroyo, Marcelo
• Bicarregui, Juan
• Guzmán, Lucio
• Maibaum, Thomas

status

• published 

publication date

• 2005

has subject area

• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Lecture Notes in Computer Science  Journal

presented at event

• 7th International Conference on Formal Methods and Software Engineering  Conference

keywords

• B method
• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• Science & Technology
• Technology
• dynamic reconfiguration
• object orientation
• structuring mechanisms

Digital Object Identifier (DOI)

• 10.1007/11576280_11

International Standard Book Number (ISBN) 10

• 3-540-29797-9

International Standard Book Number (ISBN) 13

• 9783540297970

start page

• 141

end page

• 155

volume

• 3785