Hansei: property-based development of concurrent systems.

Joseph Blomstedt

Published in: Erlang Workshop (2012)

Keyphrases

concurrent systems
software engineering
transition systems
information systems
genetic algorithm
temporal logic
case study
information processing
data model
mobile devices
process algebra
petri net
data sets
digital libraries
metadata
e learning
information retrieval
neural network