TU Darmstadt / ULB / TUbiblio

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications

Sakurai, Kohei and Bokor, Peter and Suri, Neeraj (2008):
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
In: HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, IEEE Computer Society, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Sakurai, Kohei and Bokor, Peter and Suri, Neeraj
Title: Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Language: English
Title of Book: HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Place of Publication: Washington, DC, USA
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 17 Nov 2010 14:05
Export:

Optionen (nur für Redakteure)

View Item View Item