Automated Verification of Critical Systems
Lüttgen, Gerald; Merz, Stephan (2014): Automated Verification of Critical Systems, in: Science of computer programming : methods of software design ; techniques and applications, Amsterdam [u.a.]: Elsevier Science, S. 277–278, doi: 10.1016/j.scico.2014.03.008.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Science of computer programming : methods of software design ; techniques and applications
Publisher Information:
Year of publication:
2014
Issue:
96 (2014), 3, Special issue on Automated Verification of Critical Systems (AVoCS'12)
Pages:
Language:
English
DOI:
Type:
Conferenceobject
URI:
Activation date:
July 10, 2015

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/21865