Interpreting Distributed System Architectures using VDM++ - A Case Study

Authors :: Verhoef, Marcel
Larsen, Peter Gorm
Sauser, Brian J.
Muller, Gerrit
Sauser, Brian J.
Muller, Gerrit
Source :: Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research-CSER 2007. Hoboken, NY : Stevens Institute of Technology, Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research-CSER 2007
Publication Year :: 2007
Abstract: Contains fulltext : 34607.pdf (Author’s version preprint ) (Open Access)

Database :: OpenAIRE
Journal :: Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research-CSER 2007. Hoboken, NY : Stevens Institute of Technology, Sauser, Brian J.; Muller, Gerrit (ed.), Proceedings of the Conference on System Engineering Research-CSER 2007
Accession number :: edsair.dedup.wf.001..eb8df187fdffa279588cd1fa79991324

Tools