An algebraic theory for behavioral modeling and protocol synthesis in system design.

Jean-Pierre Talpin Paul Le Guernic

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

engineering design
case study
design process
conceptual framework
modeling method
design theory
modeling tool
database
real time
computational model
theoretical framework
design principles
modeling language