A semantics-based method for requirements analysis and system design
- Max L. Wilson
- 1979
- COMPSAC 1979
Conference paper
Publications
24858 results for Exploratory Science
View modelling and integration using the funct ional dependency model
- V. Waddle
- S.B. Yao
- et al.
- 1979
- COMPSAC 1979
Conference paperLocal position of Fe3+ in ferroelectric BaTiO3
- E. Siegel
- K.A. Müller
- 1979
- Physical Review B
PaperFilamentary AC electroluminescence in ZnS:Mn
- W. Rühle
- V. Marrello
- et al.
- 1979
- Journal of Electronic Materials
PaperInstability in the Potts model
- E. Pytte
- 1979
- Physical Review B
ReviewNew classes and applications of hash functions
- Mark N. Wegman
- J. Lawrence Carter
- 1979
- FOCS 1979
Conference paperComputational complexity in algebraic function fields
- Nicholas Pippenger
- 1979
- FOCS 1979
Conference paperA polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
- Bengt Aspvall
- Yossi Shiloach
- 1979
- FOCS 1979
Conference paperOn simultaneous resource bounds
- Nicholas Pippenger
- 1979
- FOCS 1979
Conference paperSemantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Conference paper