Category:LNCS 1051

From BibNetWiki

Lecture Notes in Computer Science, Volume 1051

Articles in category "LNCS 1051"

There are 10 articles in this category.

A An Improved Translation of SAslash RT Specification Model to High-Level Timed Petri Nets C Combining Statecharts and Z for the Design of Safety-Critical Control Systems F FME '96, industrial benefit and advances in formal methods: Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996: proceedings

F cont. FME '96: Industrial Benefit and Advances in Formal Methods Formalizing Anaesthesia: a Case Study in Formal Specification H How did Software get so Reliable Without Proof? I Identification of and Solutions to Shortcomings of LCL, a Larchslash C Interface Specification Language

I cont. Integrating Real-time Scheduling Theory and Program Refinement T The Incremental Development of Correct Specifications for Distributed Systems V Visual Verification of Safety and Liveness