Login / Signup
J.UCS Special Issue on Formal Specifications of Computer-Based Systems.
Vaclav Dvorak
Published in:
J. Univers. Comput. Sci. (2000)
Keyphrases
</>
special issue
formal specification
ai edam
ecml pkdd
international journal
formal methods
software components
applied intelligence
model checking
building blocks
intelligent systems
expert systems
special section
object oriented design
data model
knowledge based systems
concurrent systems
specification languages