Volume 12, Number 1, 2005
Volume 12, Number 2, 2005
Selected Papers of the Sixteenth Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004
Juhan P. Ernits
: Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card.
Volume 12, Number 3, 2005
Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France
Volume 12, Number 4, August 2005
Selected Papers of the Third Nordic Workshop on UML and Software Modeling (NWUML'2005), August 29-31, 2005
: Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams.