Paper Info
Title
Formal Development of Reactive Systems: Case Study Production Cell
Year
Venue
Keywords
1995
Formal Development of Reactive Systems: Case Study Production Cell
formal development,case study production cell,reactive systems,reactive system
Field
DocType
ISBN
HOL,Programming language,Computer science,Formal development,Lustre (mineralogy),Esterel,Reactive system
Conference
0387588671
Citations 
PageRank 
References 
134
15.96
0
Authors
2
Search Limit
100134
Name
Order
Citations
PageRank
Claus Lewerentz166564.65
Thomas Lindner218324.29