메뉴 건너뛰기




Volumn 2370, Issue , 2002, Pages 200-209

A component model for field devices

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; INDUSTRIAL RESEARCH; SOFTWARE DESIGN;

EID: 84947211668     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45440-3_14     Document Type: Conference Paper
Times cited : (46)

References (13)
  • 1
    • 0013351063 scopus 로고    scopus 로고
    • The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation
    • University of Washington
    • Greg J. Badros and Alan Borning, “The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation,” Technical Report, no. UW Technical Report 98-06-04, University of Washington, 1998.
    • (1998) Technical Report, No. UW Technical Report 98-06-04
    • Badros, G.J.1    Borning, A.2
  • 8
    • 84947250208 scopus 로고    scopus 로고
    • Fast Quadrature Decode TPU Function (FQD), TPUPN02/D
    • Semiconductor Motorola Programming Note, Fast Quadrature Decode TPU Function (FQD), TPUPN02/D.
    • Semiconductor Motorola Programming Note
  • 9
    • 0003932704 scopus 로고    scopus 로고
    • Perspectives on an Emerging Discipline, Prentice-Hall
    • Mary Shaw and David Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
    • (1996) Software Architecture
    • Shaw, M.1    Garlan, D.2
  • 10
    • 84947251513 scopus 로고    scopus 로고
    • TPTPN home page, www.diit.unict.it/users/scava/tptpn.html.
    • TPTPN Home Page
  • 11
    • 0033901302 scopus 로고    scopus 로고
    • The Koala Component Model for Consum er Electronics Software
    • Rob van Ommering, Jeff Kramer, Jeff Magee, “The Koala Component Model for Consum er Electronics Software”, IEEE Computer, March 2000, Vol. 33, No. 3, pp. 78-85.
    • (2000) IEEE Computer , vol.33 , Issue.3 , pp. 78-85
    • Van Ommering, R.1    Kramer, J.2    Magee, J.3
  • 12
    • 0003511389 scopus 로고    scopus 로고
    • Kluwer Academic Publishers
    • Jiacun Wang, Timed Petri Nets, Kluwer Academic Publishers, 1998.
    • (1998) Timed Petri Nets
    • Wang, J.1
  • 13
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time Petri nets
    • B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3), pp. 259-273, 1991.1
    • (1991) IEEE Transactions on Software Engineering , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2


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