메뉴 건너뛰기




Volumn 4594 LNAI, Issue , 2007, Pages 441-445

Maintaining formal models of living guidelines efficiently

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; KNOWLEDGE BASED SYSTEMS; MODEL CHECKING; OPTIMIZATION; PROBLEM SOLVING;

EID: 35148822736     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-73599-1_58     Document Type: Conference Paper
Times cited : (16)

References (8)
  • 1
    • 0003563690 scopus 로고
    • Field, M.J, Lohr, K.H, eds, Institute of Medicine. National Academy Press, Washington DC
    • Field, M.J., Lohr, K.H. (eds.): Clinical Practice Guidelines: Directions for a New Program, Institute of Medicine. National Academy Press, Washington DC (1990)
    • (1990) Clinical Practice Guidelines: Directions for a New Program
  • 8
    • 26944499606 scopus 로고    scopus 로고
    • Asbru 7.3 Reference Manual
    • Technical report, Vienna University of Technology
    • Seyfang, A., Kosara, R., Miksch, S.: Asbru 7.3 Reference Manual. Technical report, Vienna University of Technology (2002)
    • (2002)
    • Seyfang, A.1    Kosara, R.2    Miksch, S.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.