Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A generic approach to connector architectures Part II: Instantiation to Petri Nets and CSP

Autor
Orejas, F.; Ehrig, H.; Klein, M.; Padberg, J.; Pino, E.; Perez, S.
Tipus d'activitat
Article en revista
Revista
Fundamenta informaticae
Data de publicació
2010-03-15
Volum
99
Número
1
Pàgina inicial
95
Pàgina final
124
DOI
10.3233/FI-2010-240
URL
http://iospress.metapress.com/content/4v147uqr57071gh5/ Obrir en finestra nova
Paraules clau
Architectural connectors, CSP, Formal software modelling, Petri nets, Software architecture
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants