Terje Sivertsen

Statistics

Publications

Citations

H-Index

Active since

2002

Affiliations

National Agency for New Technologies, Energy and Sustainable Economic Development(Current)

Terje Sivertsen is an author at National Agency for New Technologies, Energy and Sustainable Economic Development specializing in knowledge-based engineering, algebraic specification, and verification.

Publications per year

2002–2002

Publications

Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need

S. Bologna, E. Ness, Terje Sivertsen · [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence · 2002 · 10 citations

Computing, Computer Science, Formal Methods +12

1–1 of 1