A Software Simulation of Transition P Systems in Haskell.

Fernando Arroyo Carmen Luengo Angel V. Baranda Luis F. Mingo

Published in: WMC-CdeA (2002)

Keyphrases

computer systems
management system
embedded systems
data sets
distributed systems
software architecture
software components
case study
software development
safety critical
building blocks
learning systems
software systems
formal methods
real time systems
technical issues