> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures Beteiligte: Farn Wang Erschienen: Institute of Electrical and Electronics Engineers (IEEE), 2005 Erschienen in: IEEE Transactions on Software Engineering Sprache: Nicht zu entscheiden DOI: 10.1109/tse.2005.13 ISSN: 0098-5589 Schlagwörter: Software Entstehung: Anmerkungen: