TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 2008
Number of items: 1.

2008

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]

This list was generated on Tue Jul 16 02:16:21 2019 CEST.